For the most recent entries see the
Petri Nets Newsletter.
Katoen, J.-P.
-
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.
-
Katoen, J.-P.:
Causal Behaviours and Nets.
1995.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
The author's address is provided by the
database of Petri net researchers.
Back to the Petri Nets Bibliography