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