@InProceedings{BCHKR97,
  author = 	 {C.~Baier and E.~Clarke and V.~Hartonas-Garmhausen and M.~Kwiatkowska and M.~Ryan},
  title = 	 {Symbolic Model Checking for Probabilistic Processes},
  booktitle = 	 {Proc. 24th
	International Colloquium on Automata, Languages and
	Programming (ICALP'97)},
  pages =	 {430-440},
  year =	 1997,
  volume =	 1256,
  series = 	 {Lecture Notes in Computer Science}
}