For the most recent entries see the Petri Nets Newsletter.

Automated Protocol Verification.

Billington, J.; Wilbur-Ham, M.C.; Bearman, M.Y.

In: Diaz, M.: Protocol Specification, Testing, and Verification, Vol. 5, pages 59-70. Elsevier Science Publishers B.V. (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