Jiri Barnat Lubos Brim Petr Rockai DiVinE Multi-Core - A Parallel LTL Model-Checker. 234-239 2008 ATVA http://dx.doi.org/10.1007/978-3-540-88387-6_20 conf/atva/2008 db/conf/atva/atva2008.html#BarnatBR08