TY  - RPRT
TI  - Static Analysis of Deterministic Negotiations
AU  - Javier Esparza
AU  - Anca Muscholl
AU  - Igor Walukiewicz
PY  - 2017
UR  - https://arxiv.org/abs/1704.04190
ID  - 1704.04190
ER  -