@InProceedings{BCN-PROBMIV01,
  author = 	 {L. Brim and I. \v{C}ern\'{a} and M. Ne\v{c}esal},
  title = 	 {Randomization Helps in {L}{T}{L} Model Checking},
  booktitle = 	 {PAPM-PROBMIV Workshop},
  pages = 	 {105--119},
  year = 	 {2001},
  editor = 	 {L. de Alfaro and S. Gilmore},
  number = 	 {2165},
  series = 	 {Lecture Notes in Computer Science},
  publisher =    {Springer Verlag}
}