For the most recent entries see the
Petri Nets Newsletter.
Melzer, S.
-
Melzer, S.;
Riemann, R.-C.:
Construction of Traps for Refined Petri Boxes.
1997.
-
Esparza, Javier;
Melzer, Stephan:
Model Checking LTL Using Constraint Programming.
1997.
-
Melzer, S.;
Römer, S.;
Esparza, J.:
Verification using PEP.
1996.
-
Römer, Stefan;
Melzer, Stephan:
Synchronisierende Automaten in PEP.
1996.
-
Melzer, Stephan;
Esparza, Javier:
Verifikation von Systemeigenschaften mittelnb gemischt-ganzzahliger Programmierung.
1995.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
The link to the author's homepage is provided by the
database of Petri net researchers.
Back to the Petri Nets Bibliography