Verification Tools for Transactional Programs
URL: http://link.springer.com/chapter/10.1007/978-3-319-14720-8_14
Authors: Guerraoui, Rachid / Romano, Paolo / Cristal, Adrián / Ozkan, Burcu / Cohen, Ernie / Kestor, Gokcen / Kuru, Ismail / Unsal, Osman / Tasiran, Serdar / Mutluergil, Suha / Elmas, Tayfun
Publication: Transactional Memory. Foundations, Algorithms, Tools, and Applications
Place Published: Cham
Volume / Pagination: 8913 / 283-306