TY  - RPRT
TI  - Parametric Systems: Verification and Synthesis
AU  - Viorica Sofronie-Stokkermans
PY  - 2019
UR  - https://arxiv.org/abs/1910.05208
ID  - 1910.05208
ER  -