TY  - RPRT
TI  - On the Verification of Parametric Systems
AU  - Dennis Peuter
AU  - Philipp Marohn
AU  - Viorica Sofronie-Stokkermans
PY  - 2023
UR  - https://arxiv.org/abs/2310.18069
ID  - 2310.18069
ER  -