For the most recent entries see the
Petri Nets Newsletter.
Computer-aided Analysis of Concurrent Systems.
Morgan, E.T.;
Razouk, R.R.
In:
Diaz, M.: Protocol Specification, Testing, and Verification, V. Proc. of the IFIP WG 6.1, 5th Int. Workshop, Toulouse-Moissac, pages 49-58.
Amsterdam: North Holland,
1986.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography