Browsing by Author "Huizing, Cornelus"
Now showing 1 - 1 of 1
- Results Per Page
- Sort Options
Publication 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, BartKuiper, RoelProceedings paper2017, MODELSWARD 2016: Model-Driven Engineering and Software Development, 19/02/2016, p.249-273