%0 Conference Paper %1 conf/forte/ArmstrongD17 %A Armstrong, Alasdair %A Dongol, Brijesh %B FORTE %D 2017 %E Bouajjani, Ahmed %E Silva, Alexandra %I Springer %K dblp %P 33-49 %T Modularising Opacity Verification for Hybrid Transactional Memory. %U http://dblp.uni-trier.de/db/conf/forte/forte2017.html#ArmstrongD17 %V 10321 %@ 978-3-319-60225-7

@inproceedings{conf/forte/ArmstrongD17, added-at = {2019-09-25T00:00:00.000+0200}, author = {Armstrong, Alasdair and Dongol, Brijesh}, biburl = {https://www.bibsonomy.org/bibtex/2e468efd5d0c681d25c2db9dd398a9624/dblp}, booktitle = {FORTE}, crossref = {conf/forte/2017}, editor = {Bouajjani, Ahmed and Silva, Alexandra}, ee = {https://doi.org/10.1007/978-3-319-60225-7_3}, interhash = {7d29a9b85ea8a721c6cc72c737cd79c6}, intrahash = {e468efd5d0c681d25c2db9dd398a9624}, isbn = {978-3-319-60225-7}, keywords = {dblp}, pages = {33-49}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-26T13:14:23.000+0200}, title = {Modularising Opacity Verification for Hybrid Transactional Memory.}, url = {http://dblp.uni-trier.de/db/conf/forte/forte2017.html#ArmstrongD17}, volume = 10321, year = 2017 }