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