%0 Journal Article %1 journals/pvldb/LiDV17 %A Li, Yuliang %A Deutsch, Alin %A Vianu, Victor %D 2017 %J PVLDB %K dblp %N 3 %P 283-296 %T VERIFAS: A Practical Verifier for Artifact Systems. %U http://dblp.uni-trier.de/db/journals/pvldb/pvldb11.html#LiDV17 %V 11

@article{journals/pvldb/LiDV17, added-at = {2019-07-24T00:00:00.000+0200}, author = {Li, Yuliang and Deutsch, Alin and Vianu, Victor}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2154a117d515a21323f63d8118c4f3dc0/dblp}, ee = {https://doi.org/10.14778/3157794.3157798}, interhash = {ba616a3e56aece73d45e8445c149f708}, intrahash = {154a117d515a21323f63d8118c4f3dc0}, journal = {PVLDB}, keywords = {dblp}, number = 3, pages = {283-296}, timestamp = {2019-09-27T10:27:29.000+0200}, title = {VERIFAS: A Practical Verifier for Artifact Systems.}, url = {http://dblp.uni-trier.de/db/journals/pvldb/pvldb11.html#LiDV17}, volume = 11, year = 2017 }