Thomas Hérault, Richard Lassaigne, Frédéric Magniette, Sylvain Peyronnet. Approximate Probabilistic Model Checking. In Bernhard Steffen, Giorgio Levi, editors, Verification, Model Checking, and Abstract Interpretation, 5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings. Volume 2937 of Lecture Notes in Computer Science, pages 73-84, Springer, 2004. [doi]
@inproceedings{HeraultLMP04,
title = {Approximate Probabilistic Model Checking},
author = {Thomas Hérault and Richard Lassaigne and Frédéric Magniette and Sylvain Peyronnet},
year = {2004},
url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2937&spage=73},
tags = {model checking, meta-model, Meta-Environment, meta-objects},
researchr = {https://researchr.org/publication/HeraultLMP04},
cites = {0},
citedby = {0},
pages = {73-84},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings},
editor = {Bernhard Steffen and Giorgio Levi},
volume = {2937},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-20803-8},
}