@PhdThesis{Bai98,
  author = 	 {C.~Baier},
  title = 	 {On the Algorithmic Verification of
      Probabilistic Systems},
  school = 	 {Universit\"at Mannheim},
  year = 	 1998,
  type =	 {Habilitation}
}