For the most recent entries see the Petri Nets Newsletter.

Modeling and Verification of End-to-End Protocols.

Danthine, A.

In: Beauchamp, K.G.: Proc. of the NATO Advanced Study Institute, New Advances in Distributed Computer Systems, pages 125-158. Dordrecht, The Netherlands: Reidel, 1982.

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

Back to the Petri Nets Bibliography