For the most recent entries see the
Petri Nets Newsletter.
On Decidability of LTL Model Checking for Process Rewrite Systems.
Bozzelli, Laura;
Kretinsky, Mojmir;
Rehak, Vojtech;
Strejcek, Jan
In:
FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science, pages 248-259.
2006.
URL: http://dx.doi.org/10.1007/1194483624.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography