For the most recent entries see the
Petri Nets Newsletter.
Baier, C.
-
Baier, Christel;
Cloth, Lucia;
Haverkort, Boudewijn R.;
Kuntz, Matthias;
Siegle, Markus:
Model Checking Markov Chains with Actions and State Labels.
2007.
-
Baier, Christel;
Haverkort, Boudewijn;
Hermanns, Holger;
Katoen, Joost-Pieter:
Automated Performance and Dependability Evaluation Using Model Checking.
2002.
-
Majster-Cederbaum, Mila E.;
Baier, Christel:
Metric completion versus ideal completion.
1995.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Are you trying to get in contact with an author? Try our
database of Petri net researchers.
Back to the Petri Nets Bibliography