| 2003 |
|---|
| 4 | EE | Holger Hermanns,
Joost-Pieter Katoen,
Joachim Meyer-Kayser,
Markus Siegle:
ETMCC: Model Checking Performability Properties of Markov Chains.
DSN 2003: 673- |
| 3 | EE | Holger Hermanns,
Joost-Pieter Katoen,
Joachim Meyer-Kayser,
Markus Siegle:
A tool for model-checking Markov chains.
STTT 4(2): 153-172 (2003) |
| 2000 |
|---|
| 2 | EE | Holger Hermanns,
Joost-Pieter Katoen,
Joachim Meyer-Kayser,
Markus Siegle:
Towards Model Checking Stochastic Process Algebra.
IFM 2000: 420-439 |
| 1 | EE | Holger Hermanns,
Joost-Pieter Katoen,
Joachim Meyer-Kayser,
Markus Siegle:
A Markov Chain Model Checker.
TACAS 2000: 347-362 |
