@article{BBC05a,
 author = {Jiří Barnat and Luboš Brim and Jakub Chaloupka},
 editor = {J. Bicarregui and A. Butterfield and A. Arenas},
 journal = {Electronic Notes in Theoretical Computer Science},
 number = {1},
 pages = {21--39},
 publisher = {Elsevier Science Publishers},
 title = {{From Distributed Memory Cycle Detection to Parallel LTL Model Checking}},
 volume = {133},
 year = {2005}
}