Details for the publication HahnHZ09.

Ernst Moritz Hahn (), Holger Hermanns (), Lijun Zhang: Probabilistic Reachability for Parametric Markov Models. In Model Checking Software, 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings, volume 5578 of Lecture Notes in Computer Science, pages 88-106, 2009. DOI BIB