*Result*: Model Checking Randomized Algorithms with Java PathFinder
Title:
Model Checking Randomized Algorithms with Java PathFinder
Authors:
Source:
2010 Seventh International Conference on the Quantitative Evaluation of Systems Quantitative Evaluation of Systems (QEST), 2010 Seventh International Conference on the. :157-158 Sep, 2010
Relation:
2010 Seventh International Conference on the Quantitative Evaluation of Systems (QEST)
Database:
IEEE Xplore Digital Library