@inproceedings{BHR2013,
 author = {Jiří Barnat and Jan Havlíček and Petr Ročkai},
 booktitle = {Electronic Notes in Theoretical Computer Science, Volume 296},
 doi = {http://dx.doi.org/10.1016/j.entcs.2013.07.006},
 howpublished = {tištěná verze "print"},
 keywords = {model checking; LTL; hash compaction; divine},
 language = {eng},
 location = {Neuveden},
 pages = {79-93},
 publisher = {Elsevier Science},
 title = {Distributed LTL Model Checking with Hash Compaction},
 url = {http://dx.doi.org/10.1016/j.entcs.2013.07.006},
 year = {2013}
}