%0 Conference Paper %1 conf/pods/DeutschLV16 %A Deutsch, Alin %A Li, Yuliang %A Vianu, Victor %B PODS %D 2016 %E Milo, Tova %E Tan, Wang-Chiew %I ACM %K dblp %P 179-194 %T Verification of Hierarchical Artifact Systems. %U http://dblp.uni-trier.de/db/conf/pods/pods2016.html#DeutschLV16 %@ 978-1-4503-4191-2

@inproceedings{conf/pods/DeutschLV16, added-at = {2019-07-24T00:00:00.000+0200}, author = {Deutsch, Alin and Li, Yuliang and Vianu, Victor}, biburl = {https://www.bibsonomy.org/bibtex/26beb4d9baae735ba7a28c4fc930c7c52/dblp}, booktitle = {PODS}, crossref = {conf/pods/2016}, editor = {Milo, Tova and Tan, Wang-Chiew}, ee = {https://doi.org/10.1145/2902251.2902275}, interhash = {f9c83f784a690613876fba852eeedbf4}, intrahash = {6beb4d9baae735ba7a28c4fc930c7c52}, isbn = {978-1-4503-4191-2}, keywords = {dblp}, pages = {179-194}, publisher = {ACM}, timestamp = {2019-07-25T11:42:49.000+0200}, title = {Verification of Hierarchical Artifact Systems.}, url = {http://dblp.uni-trier.de/db/conf/pods/pods2016.html#DeutschLV16}, year = 2016 }