%0 Conference Paper %1 conf/modelsward/0002BBH0KW16 %A Zhang, Dan %A Bosnacki, Dragan %A van den Brand, Mark %A Huizing, Cornelis %A Jacobs, Bart %A Kuiper, Ruurd %A Wijs, Anton %B MODELSWARD (Revised Selected Papers) %D 2016 %E Hammoudi, Slimane %E Pires, Luís Ferreira %E Selic, Bran %E Desfray, Philippe %I Springer %K dblp %P 249-273 %T Verifying Atomicity Preservation and Deadlock Freedom of a Generic Shared Variable Mechanism Used in Model-To-Code Transformations. %U http://dblp.uni-trier.de/db/conf/modelsward/modelsward2016s.html#0002BBH0KW16 %V 692 %@ 978-3-319-66302-9

@inproceedings{conf/modelsward/0002BBH0KW16, added-at = {2023-11-21T00:00:00.000+0100}, author = {Zhang, Dan and Bosnacki, Dragan and van den Brand, Mark and Huizing, Cornelis and Jacobs, Bart and Kuiper, Ruurd and Wijs, Anton}, biburl = {https://www.bibsonomy.org/bibtex/21095816c5fdede8b33edc73a724361ef/dblp}, booktitle = {MODELSWARD (Revised Selected Papers)}, crossref = {conf/modelsward/2016s}, editor = {Hammoudi, Slimane and Pires, Luís Ferreira and Selic, Bran and Desfray, Philippe}, ee = {https://doi.org/10.1007/978-3-319-66302-9_13}, interhash = {92e815e05d4daf9e97bf86db74f1b39f}, intrahash = {1095816c5fdede8b33edc73a724361ef}, isbn = {978-3-319-66302-9}, keywords = {dblp}, pages = {249-273}, publisher = {Springer}, series = {Communications in Computer and Information Science}, timestamp = {2024-04-10T14:20:45.000+0200}, title = {Verifying Atomicity Preservation and Deadlock Freedom of a Generic Shared Variable Mechanism Used in Model-To-Code Transformations.}, url = {http://dblp.uni-trier.de/db/conf/modelsward/modelsward2016s.html#0002BBH0KW16}, volume = 692, year = 2016 }