TY  - RPRT
TI  - Efficient Parametric Model Checking Using Domain Knowledge
AU  - Radu Calinescu
AU  - Colin Paterson
AU  - Kenneth Johnson
PY  - 2018
UR  - https://arxiv.org/abs/1812.09952
ID  - 1812.09952
ER  -