Verification Tools for Transactional Programs
Book Chapter
(2015)
Author(s)
Adrian Cristal
Burcu Kulahcioglu Ozkan (Koç University)
Ernie Cohen
Gokcen Kestor
Ismail Kuru
Osman Unsal
Serdar Tasiran
Suha Orhun Mutluergil
Tayfun Elmas
DOI related publication
https://doi.org/10.1007/978-3-319-14720-8_14
Final published version
To reference this document use
https://resolver.tudelft.nl/uuid:fd18352d-0b19-428b-a726-e25d71863412
More Info
expand_more
expand_more
Publication Year
2015
Language
English
ISBN (print)
['9783319147192', '9783319147208']
Downloads counter
173