TY  - RPRT
TI  - Presburger-Definable Parameterized Typestates
AU  - Ashish Mishra
AU  - Deepak Dsouza
AU  - Y. N. Srikant
PY  - 2017
UR  - https://arxiv.org/abs/1712.08753
ID  - 1712.08753
ER  -