wiki:Bibliography

Version 2 (modified by Christina Jansen, 10 years ago) (diff)

--

TracNav?

MRMC Bibliography

Here you can find all the publications on MRMC Tool and also other related publications:

Contents

Publications on MRMC

2008

  • Ivan Zapreev. Model Checking Markov Chains: Techniques and Tools. PhD Thesis, University of Twente, The Netherlands, 2008. PDF BibTex