|
[You05]
H. Younes.
Ymer: A Statistical Model Checker.
In Proc. 17th International Conference on Computer Aided Verification (CAV'05), volume 3576 of Lecture Notes in Computer Science, pages 429-433, Springer-Verlag.
July 2005.
[bib]
http://sweden.autonomy.ri.cmu.edu/papers/
|
|
Downloads:
 bib
|
|
Notes:
The original publication is available at link.springer.com.
|
|
Links:
[Google]
[Google Scholar]
|
|
Available from:
http://sweden.autonomy.ri.cmu.edu/papers/
|