@InProceedings{HHZ09,
author={E. M. Hahn and H. Hermanns and L. Zhang},
title={Probabilistic Reachability for Parametric {Markov} Models},
booktitle={Proc. 16th International SPIN Workshop},
year={2009},

editor={C. Pasareanu},
pages={88-106},
organization={},
publisher={Springer},
series={LNCS},
volume={5578},
address={},
month={},
note={},
key={}
}