Analysis of Model Transformations via Alloy
K. Anastasakis, B. Bordbar, J. Küster, in: Proceedings of the Workshop on Model-Driven Engineering, Verification and Validation (MoDeVVA 2007), Nashville, TN (USA), Springer, Berlin/Heidelberg, 2007, pp. 47–56.
Download
No fulltext has been uploaded.
Conference Paper
| English
Author
Anastasakis, Kyriakos;
Bordbar, Behzad;
Küster, Jochen
Department
Publishing Year
Proceedings Title
Proceedings of the workshop on Model-Driven Engineering, Verification and Validation (MoDeVVA 2007), Nashville, TN (USA)
forms.conference.field.series_title_volume.label
LNCS
Volume
5002
Page
47-56
LibreCat-ID
Cite this
Anastasakis K, Bordbar B, Küster J. Analysis of Model Transformations via Alloy. In: Proceedings of the Workshop on Model-Driven Engineering, Verification and Validation (MoDeVVA 2007), Nashville, TN (USA). Vol 5002. LNCS. Berlin/Heidelberg: Springer; 2007:47-56.
Anastasakis, K., Bordbar, B., & Küster, J. (2007). Analysis of Model Transformations via Alloy. In Proceedings of the workshop on Model-Driven Engineering, Verification and Validation (MoDeVVA 2007), Nashville, TN (USA) (Vol. 5002, pp. 47–56). Berlin/Heidelberg: Springer.
@inproceedings{Anastasakis_Bordbar_Küster_2007, place={Berlin/Heidelberg}, series={LNCS}, title={Analysis of Model Transformations via Alloy}, volume={5002}, booktitle={Proceedings of the workshop on Model-Driven Engineering, Verification and Validation (MoDeVVA 2007), Nashville, TN (USA)}, publisher={Springer}, author={Anastasakis, Kyriakos and Bordbar, Behzad and Küster, Jochen}, year={2007}, pages={47–56}, collection={LNCS} }
Anastasakis, Kyriakos, Behzad Bordbar, and Jochen Küster. “Analysis of Model Transformations via Alloy.” In Proceedings of the Workshop on Model-Driven Engineering, Verification and Validation (MoDeVVA 2007), Nashville, TN (USA), 5002:47–56. LNCS. Berlin/Heidelberg: Springer, 2007.
K. Anastasakis, B. Bordbar, and J. Küster, “Analysis of Model Transformations via Alloy,” in Proceedings of the workshop on Model-Driven Engineering, Verification and Validation (MoDeVVA 2007), Nashville, TN (USA), 2007, vol. 5002, pp. 47–56.
Anastasakis, Kyriakos, et al. “Analysis of Model Transformations via Alloy.” Proceedings of the Workshop on Model-Driven Engineering, Verification and Validation (MoDeVVA 2007), Nashville, TN (USA), vol. 5002, Springer, 2007, pp. 47–56.
Google Scholar