For the most recent entries see the
Petri Nets Newsletter.
Hermanns, H.
-
Baier, Christel;
Haverkort, Boudewijn;
Hermanns, Holger;
Katoen, Joost-Pieter:
Automated Performance and Dependability Evaluation Using Model Checking.
2002.
-
Haverkort, B.R.;
Hermanns, H.;
Katoen, J.-P.:
On the use of model checking techniques for dependability evaluation.
2000.
-
Hermanns, H.;
Katoen, J.-P.;
Meyer-Kayser, J.;
Siegle, M.:
Towards model checking stochastic process algebra.
2000.
-
Hermanns, Holger;
Herzog, Ulrich;
Mertsiotakis, Vassilis;
Rettelbach, Michael:
Exploiting Stochastic Process Algebra Achievements for Generalized Stochastic Petri Nets.
1997.
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