For the most recent entries see the
Petri Nets Newsletter.
Bearman, M.Y.
-
Bearman, M.Y.;
Wilbur-Ham, M.C.;
Billington, J.:
Analysis of the OSI Class 0 Transport Protocol.
1986.
-
Billington, J.;
Wilbur-Ham, M.C.;
Bearman, M.Y.:
Automated Protocol Verification.
1986.
-
Bearman, M.Y.;
Wilbur-Ham, M.C.;
Billington, J.:
Analysis of Open Systems Interconnection Transport Protocol Standard.
1985.
-
Bearman, M.Y.;
Wilbur-Ham, M.C.;
Billington, J.:
Specification and Analysis of the OSI Class 0 Transport Protocol.
1985.
-
Bearman, M.Y.;
Wilbur-Ham, M.C.;
Billington, J.:
A Formal Specification of the OSI Class 0 Transport Protocol Using NPNs.
1984.
-
Bearman, M.Y.;
Wilbur-Ham, M.C.;
Billington, J.:
Some Results of Verifying the OSI Class 0 Transport Protocol.
1984.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Are you trying to get in contact with an author? Try our
database of Petri net researchers.
Back to the Petri Nets Bibliography