%0 Conference Paper %1 conf/atva/MukundRS15 %A Mukund, Madhavan %A Shenoy, Ranjal Gautham %A Suresh, S. P. %B ATVA %D 2015 %E Finkbeiner, Bernd %E Pu, Geguang %E Zhang, Lijun %I Springer %K dblp %P 293-308 %T Effective Verification of Replicated Data Types Using Later Appearance Records (LAR). %U http://dblp.uni-trier.de/db/conf/atva/atva2015.html#MukundRS15 %V 9364 %@ 978-3-319-24952-0

@inproceedings{conf/atva/MukundRS15, added-at = {2023-03-01T00:00:00.000+0100}, author = {Mukund, Madhavan and Shenoy, Ranjal Gautham and Suresh, S. P.}, biburl = {https://www.bibsonomy.org/bibtex/22a4525b4b8c264bd11a8d1abdf7838f7/dblp}, booktitle = {ATVA}, crossref = {conf/atva/2015}, editor = {Finkbeiner, Bernd and Pu, Geguang and Zhang, Lijun}, ee = {https://doi.org/10.1007/978-3-319-24953-7_23}, interhash = {a9da222d13fb38a2e8c7ec4c48c53338}, intrahash = {2a4525b4b8c264bd11a8d1abdf7838f7}, isbn = {978-3-319-24952-0}, keywords = {dblp}, pages = {293-308}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T12:16:49.000+0200}, title = {Effective Verification of Replicated Data Types Using Later Appearance Records (LAR).}, url = {http://dblp.uni-trier.de/db/conf/atva/atva2015.html#MukundRS15}, volume = 9364, year = 2015 }