@inproceedings{beem,
 author = {Radek Pelánek},
 booktitle = {Model Checking Software},
 doi = {10.1007/978-3-540-73370-6_17},
 editor = {Bošnački, Dragan and Edelkamp, Stefan},
 isbn = {978-3-540-73369-0},
 keywords = {divine},
 language = {English},
 pages = {263--267},
 publisher = {Springer Berlin Heidelberg},
 series = {Lecture Notes in Computer Science},
 title = {BEEM: Benchmarks for Explicit Model Checkers},
 volume = {4595},
 year = {2007}
}