%0 Conference Paper %1 conf/pldi/BrutschyD0V18 %A Brutschy, Lucas %A Dimitrov, Dimitar %A Müller, Peter %A Vechev, Martin T. %B PLDI %D 2018 %E Foster, Jeffrey S. %E Grossman, Dan %I ACM %K dblp %P 90-104 %T Static serializability analysis for causal consistency. %U http://dblp.uni-trier.de/db/conf/pldi/pldi2018.html#BrutschyD0V18

@inproceedings{conf/pldi/BrutschyD0V18, added-at = {2018-11-21T00:00:00.000+0100}, author = {Brutschy, Lucas and Dimitrov, Dimitar and Müller, Peter and Vechev, Martin T.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/202f0db6854973fbf9819e0d09eabf854/dblp}, booktitle = {PLDI}, crossref = {conf/pldi/2018}, editor = {Foster, Jeffrey S. and Grossman, Dan}, ee = {https://doi.org/10.1145/3192366.3192415}, interhash = {0c43271d81aac2c721ccf74921c23b7f}, intrahash = {02f0db6854973fbf9819e0d09eabf854}, keywords = {dblp}, pages = {90-104}, publisher = {ACM}, timestamp = {2019-09-27T15:41:08.000+0200}, title = {Static serializability analysis for causal consistency.}, url = {http://dblp.uni-trier.de/db/conf/pldi/pldi2018.html#BrutschyD0V18}, year = 2018 }