@inproceedings{PHCB-fmics05,
 address = {New York, NY, USA},
 author = {Radek Pelánek and Tomáš Hanžl and Ivana Černá and Luboš Brim},
 booktitle = {Tenth International Workshop on Formal Methods for Industrial 
Critical Systems (FMICS 05)},
 location = {Lisbon, Portugal},
 month = {Sept.},
 pages = {98--105},
 publisher = {ACM Press},
 title = {{Enhancing Random Walk State Space Exploration}},
 year = {2005}
}