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/hldvt/BraunCHJLLS01
%A Braun, Tim
%A Condon, Anne
%A Hu, Alan J.
%A Juse, Kai S.
%A Laza, Marius
%A Leslie, Michael
%A Sharma, Rita
%B HLDVT
%D 2001
%I IEEE Computer Society
%K
%P 103-108
%T Proving sequential consistency by model checking.
%U http://dblp.uni-trier.de/db/conf/hldvt/hldvt2001.html#BraunCHJLLS01
%@ 0-7695-1411-1
@inproceedings{conf/hldvt/BraunCHJLLS01,
added-at = {2023-12-12T22:05:28.000+0100},
author = {Braun, Tim and Condon, Anne and Hu, Alan J. and Juse, Kai S. and Laza, Marius and Leslie, Michael and Sharma, Rita},
biburl = {https://www.bibsonomy.org/bibtex/284f38155616027d9097ec0d36fab1959/admin},
booktitle = {HLDVT},
crossref = {conf/hldvt/2001},
ee = {http://doi.ieeecomputersociety.org/10.1109/HLDVT.2001.972815},
interhash = {46c835495cd9b5b4ddff9a50a90486af},
intrahash = {84f38155616027d9097ec0d36fab1959},
isbn = {0-7695-1411-1},
keywords = {},
pages = {103-108},
publisher = {IEEE Computer Society},
timestamp = {2023-12-12T22:05:28.000+0100},
title = {Proving sequential consistency by model checking.},
url = {http://dblp.uni-trier.de/db/conf/hldvt/hldvt2001.html#BraunCHJLLS01},
year = 2001
}