For the most recent entries see the Petri Nets Newsletter.

A Unified Method for the Specification and Verification of Protocols.

Bochmann, G.; Gecsei, J.

In: Gilchrist, B.: Information Processing 77, IFIP, pages 229-234. Amsterdam: North-Holland Publishing Company, 1977.

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

Back to the Petri Nets Bibliography