%0 Conference Paper %1 conf/spaa/CainL02 %A Cain, Harold W. %A Lipasti, Mikko H. %B SPAA %D 2002 %E Rosenberg, Arnold L. %E Maggs, Bruce M. %I ACM %K dblp %P 153-154 %T Verifying sequential consistency using vector clocks. %U http://dblp.uni-trier.de/db/conf/spaa/spaa2002.html#CainL02 %@ 1-58113-529-7

@inproceedings{conf/spaa/CainL02, added-at = {2018-11-21T00:00:00.000+0100}, author = {Cain, Harold W. and Lipasti, Mikko H.}, biburl = {https://www.bibsonomy.org/bibtex/27a6011c07dc5281cc223e53fd58954f1/dblp}, booktitle = {SPAA}, crossref = {conf/spaa/2002}, editor = {Rosenberg, Arnold L. and Maggs, Bruce M.}, ee = {https://doi.org/10.1145/564870.564897}, interhash = {ed56cfa0062035449961b90108038538}, intrahash = {7a6011c07dc5281cc223e53fd58954f1}, isbn = {1-58113-529-7}, keywords = {dblp}, pages = {153-154}, publisher = {ACM}, timestamp = {2018-11-22T11:51:15.000+0100}, title = {Verifying sequential consistency using vector clocks.}, url = {http://dblp.uni-trier.de/db/conf/spaa/spaa2002.html#CainL02}, year = 2002 }