Experience with Petri Net Based Verification of Communication Protocols Specified by Language Means.

For the most recent entries see the Petri Nets Newsletter.

In: Proc. IFIP-Conference on Network Information Processing Systems, Part II, Sofia, May 1988, pages 105-118. 1988.

Also in: TC8 Open Symposium / Boyanov, K.; Angelinov, R.: IFIP TC6, pages 91-100. Amsterdam: North-Holland, 1988.

Do you need a refined search? Try our search engine which allows complex field-based queries.