For the most recent entries see the Petri Nets Newsletter.

Verification of Concurrent Systems of Processes.

Cotronis, J.Y.; Lauer, P.E.

In: Morlet, E.; Ribbens, D.: International Computing Symposium 1977, pages 197-207. Amsterdam: North-Holland, 1977.

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

Back to the Petri Nets Bibliography