%0 Journal Article %1 journals/corr/ChakrabortyHSV15 %A Chakraborty, Soham %A Henzinger, Thomas A. %A Sezgin, Ali %A Vafeiadis, Viktor %D 2015 %J Logical Methods in Computer Science %K %N 1 %T Aspect-oriented linearizability proofs. %U http://dblp.uni-trier.de/db/journals/lmcs/lmcs11.html#ChakrabortyHSV15 %V 11

@article{journals/corr/ChakrabortyHSV15, added-at = {2023-12-13T10:58:58.000+0100}, author = {Chakraborty, Soham and Henzinger, Thomas A. and Sezgin, Ali and Vafeiadis, Viktor}, biburl = {https://www.bibsonomy.org/bibtex/2f0edaf8a7024b125952f720beb87e1aa/admin}, ee = {http://arxiv.org/abs/1502.07639}, interhash = {dcb46b2c17672fc78ee3a35db8225cdb}, intrahash = {f0edaf8a7024b125952f720beb87e1aa}, journal = {Logical Methods in Computer Science}, keywords = {}, number = 1, timestamp = {2023-12-13T10:58:58.000+0100}, title = {Aspect-oriented linearizability proofs.}, url = {http://dblp.uni-trier.de/db/journals/lmcs/lmcs11.html#ChakrabortyHSV15}, volume = 11, year = 2015 }