TY  - RPRT
TI  - Proceedings 15th International Workshop on Verification of Infinite-State Systems
AU  - Lukas Holik
AU  - Lorenzo Clemente
PY  - 2014
DO  - 10.4204/eptcs.140
UR  - https://arxiv.org/abs/1402.6610
ID  - 1402.6610
ER  -