For the most recent entries see the Petri Nets Newsletter.

Die Spezifikations- und Entwurfsprache SEGRAS.

Krämer, B.

In: Handbuch der modernen Datenverarbeitung, Heft 130: Formale Methoden in der Systementwicklung, pages 107-116. Forkel-Verlag, July 1986. In German.


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

Back to the Petri Nets Bibliography