TY  - RPRT
TI  - Parametric Verification: An Introduction
AU  - Étienne André
AU  - Michał Knapik
AU  - Didier Lime
AU  - Wojciech Penczek
AU  - Laure Petrucci
PY  - 2019
DO  - 10.1007/978-3-662-60651-3_3
UR  - https://arxiv.org/abs/1907.00555
ID  - 1907.00555
ER  -