For the most recent entries see the Petri Nets Newsletter.

Automatic Verification of Finite-State Concurrent Systems.

Clarke, Edmund M.

In: Valette, R.: Lecture Notes in Computer Science, Vol. 815; Application and Theory of Petri Nets 1994, Proceedings 15th International Conference, Zaragoza, Spain. Springer-Verlag, 1994.

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

Back to the Petri Nets Bibliography