"MC-CChecker: A Clock-Based Approach to Detect Memory Consistency Errors in ..."

Thanh-Dang Diep, Karl Fürlinger, Nam Thoai (2018)

Details and statistics

DOI: 10.1145/3236367.3236369

access: closed

type: Conference or Workshop Paper

metadata version: 2023-03-21

a service of  Schloss Dagstuhl - Leibniz Center for Informatics