For the most recent entries see the
Petri Nets Newsletter.
A Unified Method for the Specification and Verification of Protocols.
Bochmann, G.;
Gecsei, J.
In:
Gilchrist, B.: Information Processing 77, IFIP, pages 229-234.
Amsterdam: North-Holland Publishing Company,
1977.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography