For the most recent entries see the Petri Nets Newsletter.

Interactive Software Development by Stepwise Formalisation.

Krämer, B.; Schmidt, H.W.

In: Proc. of the 6th ACM European Regional Conference on System Architecture, ICS, London 1981, pages 134-143. 1981.


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

Back to the Petri Nets Bibliography