@InProceedings{BCKP-FSTTCS01, 
 author =    {L. Brim and I. \v{C}ern\'{a} and  P. Kr\v{c}\'{a}l and R. Pel\'{a}nek}, 
 title =     {Distributed LTL Model Checking Based on Negative Cycle Detection},
 booktitle = {FST TCS 2001: Foundations of Software Technology and Theoretical
               Computer Science, 21st Conference, Bangalore, India, December
               13-15, 2001, Proceedings}, 
 pages =     {96--107}, 
 year =      {2001}, 
 editor =    {Ramesh Hariharan and
               Madhavan Mukund and
               V. Vinay}, 
 number =    {2245}, 
 series =    {Lecture Notes in Computer Science}, 
 publisher = {Springer Verlag}
 }