TY  - RPRT
TI  - Reachability for dynamic parametric processes
AU  - Anca Muscholl
AU  - Helmut Seidl
AU  - Igor Walukiewicz
PY  - 2016
UR  - https://arxiv.org/abs/1609.05385
ID  - 1609.05385
ER  -