Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/fmcad/0002OPTZ07
%A Cohen, Ariel
%A O'Leary, John W.
%A Pnueli, Amir
%A Tuttle, Mark R.
%A Zuck, Lenore D.
%B FMCAD
%D 2007
%I IEEE Computer Society
%K dblp
%P 37-44
%T Verifying Correctness of Transactional Memories.
%U http://dblp.uni-trier.de/db/conf/fmcad/fmcad2007.html#0002OPTZ07
%@ 0-7695-3023-0
@inproceedings{conf/fmcad/0002OPTZ07,
added-at = {2023-03-23T00:00:00.000+0100},
author = {Cohen, Ariel and O'Leary, John W. and Pnueli, Amir and Tuttle, Mark R. and Zuck, Lenore D.},
biburl = {https://www.bibsonomy.org/bibtex/267f3b15205d02a25aa7c881b0b7870eb/dblp},
booktitle = {FMCAD},
crossref = {conf/fmcad/2007},
ee = {https://doi.ieeecomputersociety.org/10.1109/FAMCAD.2007.40},
interhash = {be43ce0bdaf2f1000621ceb9a9f37373},
intrahash = {67f3b15205d02a25aa7c881b0b7870eb},
isbn = {0-7695-3023-0},
keywords = {dblp},
pages = {37-44},
publisher = {IEEE Computer Society},
timestamp = {2024-04-10T16:54:24.000+0200},
title = {Verifying Correctness of Transactional Memories.},
url = {http://dblp.uni-trier.de/db/conf/fmcad/fmcad2007.html#0002OPTZ07},
year = 2007
}