For the most recent entries see the Petri Nets Newsletter.

Specification and Verification of Communication Protocols.

Prinoth, R.

In: Proc. of the Workshop Intr. of High Level Protocol Standards for Open Systems Interconnection, Paris, June 27--29, 1983, pages 335-352. 1983.


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

Back to the Petri Nets Bibliography