@inbook {hvc:2013:dias,
	title = {Precise Detection of Atomicity Violations},
	booktitle = {Hardware and Software: Verification and Testing},
	series = {Lecture Notes in Computer Science},
	volume = {7857},
	year = {2013},
	note = {<p>HVC 2012 Best Paper Award</p>
},
	pages = {8-23},
	publisher = {Springer Berlin / Heidelberg},
	organization = {Springer Berlin / Heidelberg},
	abstract = {<p>n/a</p>
},
	isbn = {978-3-642-39610-6},
	issn = {0302-9743},
	doi = {10.1007/978-3-642-39611-3_8},
	url = {http://dx.doi.org/10.1007/978-3-642-39611-3_8},
	attachments = {https://sites.fct.unl.pt/sites/default/files/synergy-vm/files/2012-hvc.pdf},
	author = {Ricardo J. Dias and Pessanha, Vasco and Jo{\~a}o M. Louren{\c c}o},
	editor = {Biere, Armin and Nahir, Amir and Vos, Tanja}
}
