For the most recent entries see the
Petri Nets Newsletter.
Siegle, M.
-
Baier, Christel;
Cloth, Lucia;
Haverkort, Boudewijn R.;
Kuntz, Matthias;
Siegle, Markus:
Model Checking Markov Chains with Actions and State Labels.
2007.
-
Lampka, K.;
Siegle, M.:
Analysis of Markov reward models using zero-suppressed multi-terminal BDDs.
2006.
-
Hermanns, H.;
Katoen, J.-P.;
Meyer-Kayser, J.;
Siegle, M.:
Towards model checking stochastic process algebra.
2000.
-
Siegle, M.:
Techniques and tool for symbolic representation and manipulation of stochastic transition systems.
1998.
-
Siegle, M.:
Integration of performance aspects into formal methods for concurrency.
1996.
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