TY  - RPRT
TI  - Accelerated Model Checking of Parametric Markov Chains
AU  - Paul Gainer
AU  - Ernst Moritz Hahn
AU  - Sven Schewe
PY  - 2018
UR  - https://arxiv.org/abs/1805.05672
ID  - 1805.05672
ER  -