For the most recent entries see the
Petri Nets Newsletter.
On the Decidability of Model Checking for Several µ-calculi and Petri Nets.
Esparza, Javier
In:
Tison, S.: Lecture Notes in Computer Science, Vol. 787; CAAP'94, 19th International Colloquium on Trees in Algebra and Programming, Edinburgh, U.K., Apr. 11-13, 1994, pages 115-129.
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