For the most recent entries see the Petri Nets Newsletter.

Some Results of Verifying the OSI Class 0 Transport Protocol.

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

In: Proc. ICCC'84, Sydney, pages 597-602. 1984.

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

Back to the Petri Nets Bibliography