@Unpublished{Bai98,
author={C. Baier},
title={On Algorithmic Verification Methods for Probabilistic Systems},
note={Habilitation thesis, Fakult\"at f\"ur Mathematik \& Informatik, Universit\"at Mannheim},

month={},
year={1998},
key={}
}