Library
search
Press enter to search in title/abstract
in title/abstract
in authors
local_library
Repository
EC
Ernie Cohen
Academic Work (2)
Book chapter (1)
Conference paper (1)
Sort by descending (newest to oldest)
Sort by ascending (oldest to newest)
2 records found
1
Verification Tools for Transactional Programs
Book chapter (2015) -
Adrian Cristal (author)
,
Burcu Kulahcioglu Ozkan (author)
,
Ernie Cohen (author)
,
Gokcen Kestor (author)
,
Ismail Kuru (author)
,
Osman S. Unsal (author)
,
Serdar Tasiran (author)
,
Suha Orhun Mutluergil (author)
,
Tayfun Elmas (author)
Verifying programs under snapshot isolation and similar relaxed consistency models
Conference paper (2014) -
Ismail Kuru (author)
,
Burcu Kulahcioglu Ozkan (author)
,
Suha Orhun Mutluergil (author)
,
Serdar Tasiran (author)
,
Tayfun Elmas (author)
,
Ernie Cohen (author)
