TY  - RPRT
TI  - Fresh-Variable Automata for Service Composition
AU  - Walid Belkhir
AU  - Yannick Chevalier
AU  - Michael Rusinowitch
PY  - 2013
UR  - https://arxiv.org/abs/1302.4205
ID  - 1302.4205
ER  -