Aspect-Oriented Linearizability Proofs (bibtex)
by Thomas A. Henzinger, Ali Sezgin, Viktor Vafeiadis
Reference:
Aspect-Oriented Linearizability ProofsThomas A. Henzinger, Ali Sezgin, Viktor VafeiadisCONCUR, pages 242-256, 2013.
Bibtex Entry:
@inproceedings{HenzingerSV13,
title = {Aspect-Oriented Linearizability Proofs},
ee = {http://dx.doi.org/10.1007/978-3-642-40184-8_18},
booktitle = {CONCUR},
author = {Thomas A. Henzinger and Ali Sezgin and Viktor Vafeiadis},
url = {/pubpdf/Aspect-Oriented_Linearizability_Proofs.pdf},
year = {2013},
bibsource = {DBLP, http://dblp.uni-trier.de},
pages = {242-256},
crossref = {DBLP:conf/concur/2013},
}
Powered by bibtexbrowser