For the most recent entries see the
Petri Nets Newsletter.
PROTEAN: A Tool for Verifying Protocol Specifications.
Wilbur-Ham, M.C.
In:
Proc. IREECON 87, Sydney.
1987.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography