|
[HLMP04]
T. Hérault, R. Lassaigne, F. Magniette and S. Peyronnet.
Approximate Probabilistic Model Checking.
In Proc. 5th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI'04), volume 2937 of Lecture Notes in Computer Science, Springer-Verlag.
January 2004.
[bib]
http://sylvain.berbiqui.org/Publis.html
|
|
Downloads:
 bib
|
|
Notes:
The original publication is available at link.springer.com.
|
|
Links:
[Google]
[Google Scholar]
|
|
Available from:
http://sylvain.berbiqui.org/Publis.html
|