@inproceedings{BBS07,
 author = {Jiří Barnat and Luboš Brim and Pavel Šimeček},
 booktitle = {Computer Aided Verification},
 isbn = {978-3-540-73367-6},
 opteditor = {Werner Damm and Holger Hermanns},
 optlocation = {Heidelberg},
 pages = {281--293},
 publisher = {Springer},
 series = {LNCS},
 title = {{I/O Efficient Accepting Cycle Detection}},
 volume = {4590},
 year = {2007}
}