Conference Publication Details
Mandatory Fields
Zheng Cheng, Rosemary Monahan, and James F. Power
8th International Conference on Model Transformation
A sound execution semantics for ATL via translation validation
2015
July
In Press
1
()
Optional Fields
133
148
L'Aquila, Italy
10.1007/978-3-319-21155-8_11
Grant Details