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