TY  - RPRT
TI  - Incremental Verification of Parametric and Reconfigurable Markov Chains
AU  - Paul Gainer
AU  - Ernst Moritz Hahn
AU  - Sven Schewe
PY  - 2018
UR  - https://arxiv.org/abs/1804.01872
ID  - 1804.01872
ER  -