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