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
Affiliation
External organisation
To reference this document use:
https://resolver.tudelft.nl/uuid:a70aea4b-cecd-472e-a733-978c29f484b8
More Info
expand_more
expand_more
Publication Year
2014
Affiliation
External organisation
No files available
Metadata only record. There are no files for this record.