• Model Checking Randomized Algo...

Treffer: Model Checking Randomized Algorithms with Java PathFinder.

Title:
Model Checking Randomized Algorithms with Java PathFinder.
Authors:
Xin Zhang, Franck van Breugel
Source:
QEST. :157-158
Availability:
https://dblp.org/rec/conf/qest/ZhangB10
Database:
dblp computer science bibliography