Marta Z. Kwiatkowska, Gethin J. Norman, David Parker. Probabilistic symbolic model checking with PRISM: a hybrid approach. STTT, 6(2):128-142, 2004. [doi]
@article{KwiatkowskaNP04:0,
title = {Probabilistic symbolic model checking with PRISM: a hybrid approach},
author = {Marta Z. Kwiatkowska and Gethin J. Norman and David Parker},
year = {2004},
url = {http://www.springerlink.com/index/10.1007/s10009-004-0140-2},
tags = {model checking, meta-model, Meta-Environment, systematic-approach},
researchr = {https://researchr.org/publication/KwiatkowskaNP04%3A0},
cites = {0},
citedby = {0},
journal = {STTT},
volume = {6},
number = {2},
pages = {128-142},
}