A tool for model-checking Markov chains
โ
Holger Hermanns; Joost-Pieter Katoen; Joachim Meyer-Kayser; Markus Siegle
๐
Article
๐
2003
๐
Springer
๐
English
โ 470 KB