Publicações

Precise Detection of Atomicity Violations

AuthID
P-008-C6Y

Author(s)

Dias, RJ

Pessanha, V

Lourenço, J

Editor(es)

Biere,A;Nahir,A;Vos,TEJ

Tipo de Documento

Proceedings Paper

Year published

2012

Publicado

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, Páginas: 8-23

Conference

8Th International on Hardware and Software: Verification and Testing, Hvc 2012, Date: 6 November 2012 through 8 November 2012, Location: Haifa, Patrocinadores: IBM Research - Haifa

Indexing