TY  - RPRT
TI  - On the Decidability of (ground) Reachability Problems for Cryptographic Protocols (extended version)
AU  - Yannick Chevalier
AU  - Kourjieh Mounira
PY  - 2009
UR  - https://arxiv.org/abs/0906.1199
ID  - 0906.1199
ER  -