For the most recent entries see the
Petri Nets Newsletter.
Protocol Verification in the Presence of Time.
Sajkowski, M.
In:
Sarikaya, B.; Bochmann, G.V.: 6th Int. Workshop on Protocol Specification, Testing and Verification, Montreal, pages 269-280.
Amsterdam, NL: North Holland,
1987.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography