For the most recent entries see the Petri Nets Newsletter.

Design and Verification of Communication Procedures: A Bottom-up Approach.

Azéma, P.; Ayache, J.M.; Berthomieu, B.

In: 3rd International Conference on Software Engineering, pages 168-174. New York: IEEE, 1978.

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

Back to the Petri Nets Bibliography