@inproceedings{BCKP-FSTTCS01,
 author = {Luboš Brim and Ivana Černá and  Pavel Krčál 
and Radek Pelánek},
 booktitle = {FST TCS 2001: Foundations of Software Technology and Theoretical
Computer Science, 21st Conference, Bangalore, India, December
13-15, 2001, Proceedings},
 editor = {Ramesh Hariharan and
Madhavan Mukund and
V. Vinay},
 number = {2245},
 pages = {96--107},
 publisher = {Springer Verlag},
 series = {Lecture Notes in Computer Science},
 title = {Distributed LTL Model Checking Based on Negative 
Cycle Detection},
 year = {2001}
}