TY  - RPRT
TI  - Automatic Verification of Parametric Specifications with Complex Topologies
AU  - Johannes Faber
AU  - Carsten Ihlemann
AU  - Swen Jacobs
AU  - Viorica Sofronie-Stokkermans
PY  - 2010
DO  - 10.1007/978-3-642-16265-7_12
UR  - https://arxiv.org/abs/1010.1602
ID  - 1010.1602
ER  -