For the most recent entries see the Petri Nets Newsletter.

Szenarios: Lokale Kriterien für globale Korrektheit.

Kindler, Ekkart; Martens, Axel

In: ITG-Fachgespräch / Spies, K.; Schätz, B.: Formale Beschreibungstechniken für verteilte Systeme, 9. GI, pages 113-122. Utz Verlag, June 1999.


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

Back to the Petri Nets Bibliography