For the most recent entries see the
Petri Nets Newsletter.
On the Analysis of Time-Dependent Protocols by Network Flow Algorithms.
Bolognesi, T.;
Rudin, H.
In:
Yemini, Y.; Strom, R.; Yemini, S.: Protocol Specification, Testing and Verification IV, pages 491-513.
Elsevier Science Publ. B.V. (North Holland),
1985.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography