@inproceedings{YAHODA2002,
 address = {Brno},
 author = {Jitka Crhová and Pavel Krčál and Jan Strejček and David Šafránek and Pavel Šimeček},
 booktitle = {Proceedings of Tools Day},
 keywords = {formal verification},
 language = {eng},
 location = {Brno},
 pages = {99-103},
 publisher = {FI MU},
 title = {YAHODA: verification tools database},
 url = {http://www.fi.muni.cz/informatics/reports},
 year = {2002}
}