Verifying programs under snapshot isolation and similar relaxed consistency models
Conference Paper
(2014)
Author(s)
Burcu Külahçıoğlu Kulahcioglu Ozkan (Koç University)
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.