Dan Zhang 0002, Dragan Bosnacki, Mark van den Brand, Cornelis Huizing, Bart Jacobs 0002, Ruurd Kuiper, Anton Wijs. Verifying Atomicity Preservation and Deadlock Freedom of a Generic Shared Variable Mechanism Used in Model-To-Code Transformations. In Slimane Hammoudi, Luís Ferreira Pires, Bran Selic, Philippe Desfray, editors, Model-Driven Engineering and Software Development - 4th International Conference, MODELSWARD 2016, Rome, Italy, February 19-21, 2016, Revised Selected Papers. Volume 692 of Communications in Computer and Information Science, pages 249-273, Springer, 2016. [doi]
@inproceedings{0002BBH0KW16,
title = {Verifying Atomicity Preservation and Deadlock Freedom of a Generic Shared Variable Mechanism Used in Model-To-Code Transformations},
author = {Dan Zhang 0002 and Dragan Bosnacki and Mark van den Brand and Cornelis Huizing and Bart Jacobs 0002 and Ruurd Kuiper and Anton Wijs},
year = {2016},
doi = {10.1007/978-3-319-66302-9_13},
url = {https://doi.org/10.1007/978-3-319-66302-9_13},
researchr = {https://researchr.org/publication/0002BBH0KW16},
cites = {0},
citedby = {0},
pages = {249-273},
booktitle = {Model-Driven Engineering and Software Development - 4th International Conference, MODELSWARD 2016, Rome, Italy, February 19-21, 2016, Revised Selected Papers},
editor = {Slimane Hammoudi and Luís Ferreira Pires and Bran Selic and Philippe Desfray},
volume = {692},
series = {Communications in Computer and Information Science},
publisher = {Springer},
isbn = {978-3-319-66302-9},
}