%0 Conference Paper %1 conf/eurosys/OzkanMT14 %A Ozkan, Burcu Kulahcioglu %A Mutlu, Erdal %A Tasiran, Serdar %B PaPEC@EuroSys %D 2014 %E Shapiro, Marc %I ACM %K dblp %P 11:1-11:4 %T Towards verifying eventually consistent applications. %U http://dblp.uni-trier.de/db/conf/eurosys/papec2014.html#OzkanMT14 %@ 978-1-4503-2716-9

@inproceedings{conf/eurosys/OzkanMT14, added-at = {2024-02-05T00:00:00.000+0100}, author = {Ozkan, Burcu Kulahcioglu and Mutlu, Erdal and Tasiran, Serdar}, biburl = {https://www.bibsonomy.org/bibtex/24ac89fd8beeed66d863961ab9ff8e7e3/dblp}, booktitle = {PaPEC@EuroSys}, crossref = {conf/eurosys/2014papec}, editor = {Shapiro, Marc}, ee = {https://doi.org/10.1145/2596631.2596638}, interhash = {eedbe5df477047902b5d03957b4f3e86}, intrahash = {4ac89fd8beeed66d863961ab9ff8e7e3}, isbn = {978-1-4503-2716-9}, keywords = {dblp}, pages = {11:1-11:4}, publisher = {ACM}, timestamp = {2024-04-10T10:55:40.000+0200}, title = {Towards verifying eventually consistent applications.}, url = {http://dblp.uni-trier.de/db/conf/eurosys/papec2014.html#OzkanMT14}, year = 2014 }