Details for the publication HahnHZ11.

Ernst Moritz Hahn (), Holger Hermanns (), Lijun Zhang: Probabilistic reachability for parametric Markov models. In Int. J. Softw. Tools Technol. Transf. 13(1):3-19, 2011. DOI BIB