On algorithmic veri methods for probabilistic systems. Habilitation thesis (1998)

by C Baier
Venue:Habilitation thesis, Fakultat fur Mathematik & Informatik, Universitat