Precise Detection of Atomicity Violations

AuthID
 P-008-C6Y
3
Author(s)
Dias, RJ
·
Pessanha, V
·
3
Editor(s)
Biere,A;Nahir,A;Vos,TEJ
Document Type
Proceedings Paper
Year published
2012
Published
in Hardware and Software: Verification and Testing - 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers in Lecture Notes in Computer Science, ISSN: 0302-9743
Volume: 7857, Pages: 8-23
Conference
8Th International on Hardware and Software: Verification and Testing, Hvc 2012, Date: 6 November 2012 through 8 November 2012, Location: Haifa, Sponsors: IBM Research - Haifa
Indexing
Scopus®
Dblp®/en/publications/view/274654
Crossref®10
Google Scholar®
Publication Identifiers
DBLP: conf/hvc/DiasPL12
SCOPUS: 2-s2.0-84880712912
Source Identifiers
ISSN: 0302-9743
Export Publication Metadata
Marked List
 Add to Marked List
Info
At this moment we don't have any links to full text documens.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service