@InProceedings{,
  author = 	 {Hartog, J.I. den and Vink, E.P. de},
  title = 	 {Mixing up nondeterminism and probability: A preliminary report},
  booktitle = 	 {Proc. PROBMIV'98},
  year =	 1998,
  editor =	 {C. Baier and M. Huth and M. Kwiatkowska and M. Ryan},
  publisher =	 {ENTCS 22}
}