B
[BCK+01] Luboš Brim, Ivana Černa, Pavel Krčál, and Radek Pelánek. Distributed LTL Model Checking Based on Negative Cycle Detection. In FSTTCS'01, Lecture Notes in Computer Science 2245, pages 96-107. Springer-Verlag, December 2001. 
@inproceedings{fsttcs2001-BCKP,
  author =              {Brim, Lubo{\v s} and {\v{C}}erna, Ivana and
                         Kr{\v{c}}{\'a}l, Pavel and Pel{\'a}nek, Radek},
  title =               {Distributed {LTL} Model Checking Based on Negative
                         Cycle Detection},
  editor =              {Hariharan, Ramesh and Mukund, Madhavan and Vinay,
                         V.},
  booktitle =           {{P}roceedings of the 21st {C}onference on
                         {F}oundations of {S}oftware {T}echnology and
                         {T}heoretical {C}omputer {S}cience ({FSTTCS}'01)},
  acronym =             {{FSTTCS}'01},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {2245},
  pages =               {96-107},
  year =                {2001},
  month =               dec,
}
List of authors