TY  - RPRT
TI  - Parameterized Verification of Safety Properties in Ad Hoc Network Protocols
AU  - Giorgio Delzanno
AU  - Arnaud Sangnier
AU  - Gianluigi Zavattaro
PY  - 2011
DO  - 10.4204/eptcs.60.4
UR  - https://arxiv.org/abs/1108.1864
ID  - 1108.1864
ER  -