%0 Journal Article %1 journals/corr/LiDV17 %A Li, Yuliang %A Deutsch, Alin %A Vianu, Victor %D 2017 %J CoRR %K dblp %T A Spin-based Verifier for Artifact Systems. %U http://dblp.uni-trier.de/db/journals/corr/corr1705.html#LiDV17 %V abs/1705.09427

@article{journals/corr/LiDV17, added-at = {2019-07-24T00:00:00.000+0200}, author = {Li, Yuliang and Deutsch, Alin and Vianu, Victor}, biburl = {https://www.bibsonomy.org/bibtex/208df52e5ce360ad2f4db4d2db6250ddc/dblp}, ee = {http://arxiv.org/abs/1705.09427}, interhash = {d6fdf461a0257fdbe4c90344fec2a9e8}, intrahash = {08df52e5ce360ad2f4db4d2db6250ddc}, journal = {CoRR}, keywords = {dblp}, timestamp = {2019-07-25T11:39:01.000+0200}, title = {A Spin-based Verifier for Artifact Systems.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1705.html#LiDV17}, volume = {abs/1705.09427}, year = 2017 }