TY  - RPRT
TI  - Parametric Verification of a Group Membership Algorithm
AU  - Ahmed Bouajjani
AU  - Agathe Merceron
PY  - 2005
UR  - https://arxiv.org/abs/cs/0505033
ID  - cs/0505033
ER  -