For the most recent entries see the Petri Nets Newsletter.

Representation, Analysis and Verification of Communication Protocols.

Symons, F.J.W.

Telecom. Australia Research Laboratories Report 7380, Victoria, Australia, 1980.


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

Back to the Petri Nets Bibliography