For the most recent entries see the Petri Nets Newsletter.

Modelling and Verification of a Checkpoint-Restart-Protocol.

Baumgarten, B.; Ochsenschläger, P.

In: Informatik-Fachberichte 84: Fehlertolerierende Rechensysteme., pages 353-363. Springer-Verlag, 1984.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography