TY  - RPRT
TI  - SpinArt: A Spin-based Verifier for Artifact Systems
AU  - Yuliang Li
AU  - Alin Deutsch
AU  - Victor Vianu
PY  - 2018
UR  - https://arxiv.org/abs/1705.09427
ID  - 1705.09427
ER  -