Browsing by author "Huizing, Cornelus"
Now showing items 1-1 of 1
-
Verifying atomicity preservation and deadlock freedom of a generic shared variable mechanism used in model-to-code transformations
Zhang, D.; Bonacki, Dragan; van den Brand, M.; Huizing, Cornelus; Jacobs, Bart; Kuiper, Roel; Wijs, Anton (2017)