For the most recent entries see the
Petri Nets Newsletter.
Specification and Verification of Signalling Protocols.
Ayache, J.M.;
Diaz, M.;
Konber, H.
In:
Int. Switching Symp., Montreal, pages Chapter 34B5, 1-7.
1981.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography