@inproceedings{fmics05-random-walk,
 author = {R. Pelanek and T. Hanzl and I. Cerna and L. Brim},
 title = {Enhancing random walk state space exploration},
 booktitle = {FMICS '05: Proceedings of the 10th international workshop on Formal methods for industrial critical systems},
 year = {2005},
 isbn = {1-59593-148-1},
 pages = {98--105},
 location = {Lisbon, Portugal},
 doi = {http://doi.acm.org/10.1145/1081180.1081193},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }