@InProceedings{BBS07,
  author =       "J. Barnat and L. Brim and P. \v{S}ime\v{c}ek",
  title =        "{I/O Efficient Accepting Cycle Detection}",
  opteditor =    "Werner Damm and Holger Hermanns",
  booktitle =    "Computer Aided Verification",
  publisher =    "Springer",
  optlocation =  "Heidelberg",
  series =       "LNCS",
  volume =       "4590",
  year =         "2007",
  isbn =         "978-3-540-73367-6",
  pages =        "281--293"
}