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