@inproceedings{BCN01,
 author = {Luboš Brim and Ivana Černá and Martin Nečesal},
 booktitle = {Process Algebra and Probabilistic Methods. Performance Modelling and Verification (PAPM-PROBMIV)},
 editor = {Alfaro, L. and Gilmore, S.},
 number = {2165},
 pages = {105--119},
 publisher = {Springer},
 series = {Lecture Notes in Computer Science},
 title = {Randomization Helps in LTL Model Checking.},
 year = {2001}
}