Jiri Barnat Lubos Brim Ivana Cerná Pavel Moravec 0002 Petr Rockai Pavel Simecek DiVinE - A Tool for Distributed Verification. 278-281 2006 conf/cav/2006 CAV http://dx.doi.org/10.1007/11817963_26 db/conf/cav/cav2006.html#BarnatBCMRS06