![](/img/cover-not-exists.png)
A tool for model-checking Markov chains
Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus SiegleVolume:
4
Language:
english
Pages:
20
DOI:
10.1007/s100090100072
Date:
February, 2003
File:
PDF, 470 KB
english, 2003