For the most recent entries see the Petri Nets Newsletter.

Automated Prooving of Communication Protocols against Communication Services.

Eckert, H.; Prinoth, R.

In: Proc. ICCC 82, pages 925-930. North-Holland, 1982.

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

Back to the Petri Nets Bibliography