Verifying programs under snapshot isolation and similar relaxed consistency models
Conference Paper
(2014)
Author(s)
Ismail Kuru
Burcu Kulahcioglu Ozkan (Koç University)
Suha Orhun Mutluergil
Serdar Tasiran
Tayfun Elmas
Ernie Cohen
To reference this document use
https://resolver.tudelft.nl/uuid:a70aea4b-cecd-472e-a733-978c29f484b8
More Info
expand_more
expand_more
Publication Year
2014
Downloads counter
134
No files available
Metadata only record. There are no files for this record.