%0 Conference Paper %1 conf/atva/LvSYFW14 %A Lv, Yi %A Sun, Luming %A Ye, Xiaochun %A Fan, Dongrui %A Wu, Peng %B ATVA %D 2014 %E Cassez, Franck %E Raskin, Jean-François %I Springer %K dblp %P 264-280 %T Efficiently and Completely Verifying Synchronized Consistency Models. %U http://dblp.uni-trier.de/db/conf/atva/atva2014.html#LvSYFW14 %V 8837 %@ 978-3-319-11935-9

@inproceedings{conf/atva/LvSYFW14, added-at = {2023-06-26T00:00:00.000+0200}, author = {Lv, Yi and Sun, Luming and Ye, Xiaochun and Fan, Dongrui and Wu, Peng}, biburl = {https://www.bibsonomy.org/bibtex/2a4e1e46b1c9c294631aa6f6ff81ebd60/dblp}, booktitle = {ATVA}, crossref = {conf/atva/2014}, editor = {Cassez, Franck and Raskin, Jean-François}, ee = {https://doi.org/10.1007/978-3-319-11936-6_20}, interhash = {7d053f7293a7b6effa3d12b4a67f1e46}, intrahash = {a4e1e46b1c9c294631aa6f6ff81ebd60}, isbn = {978-3-319-11935-9}, keywords = {dblp}, pages = {264-280}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T12:16:52.000+0200}, title = {Efficiently and Completely Verifying Synchronized Consistency Models.}, url = {http://dblp.uni-trier.de/db/conf/atva/atva2014.html#LvSYFW14}, volume = 8837, year = 2014 }