For the most recent entries see the Petri Nets Newsletter.

Performance Parameters of Computer Network Protocols Referred to their Formal Model.

Cellary, W.; Stroinski, M.

In: Yemini, Y.; Strom, R.; Yemini, S.: Protocol Specification, Testing and Verification IV, pages 681-696. Elsevier Science Publishers B. V. (North-Holland), IFIP, 1985.


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

Back to the Petri Nets Bibliography