{"series_title":"LNCS","date_created":"2019-03-06T11:44:56Z","status":"public","place":"Berlin/Heidelberg","date_updated":"2022-01-06T07:03:54Z","page":"47-56","publication":"Proceedings of the workshop on Model-Driven Engineering, Verification and Validation (MoDeVVA 2007), Nashville, TN (USA)","citation":{"mla":"Anastasakis, Kyriakos, et al. “Analysis of Model Transformations via Alloy.” <i>Proceedings of the Workshop on Model-Driven Engineering, Verification and Validation (MoDeVVA 2007), Nashville, TN (USA)</i>, vol. 5002, Springer, 2007, pp. 47–56.","ama":"Anastasakis K, Bordbar B, Küster J. Analysis of Model Transformations via Alloy. In: <i>Proceedings of the Workshop on Model-Driven Engineering, Verification and Validation (MoDeVVA 2007), Nashville, TN (USA)</i>. Vol 5002. LNCS. Berlin/Heidelberg: Springer; 2007:47-56.","bibtex":"@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} }","short":"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.","apa":"Anastasakis, K., Bordbar, B., &#38; Küster, J. (2007). Analysis of Model Transformations via Alloy. In <i>Proceedings of the workshop on Model-Driven Engineering, Verification and Validation (MoDeVVA 2007), Nashville, TN (USA)</i> (Vol. 5002, pp. 47–56). Berlin/Heidelberg: Springer.","chicago":"Anastasakis, Kyriakos, Behzad Bordbar, and Jochen Küster. “Analysis of Model Transformations via Alloy.” In <i>Proceedings of the Workshop on Model-Driven Engineering, Verification and Validation (MoDeVVA 2007), Nashville, TN (USA)</i>, 5002:47–56. LNCS. Berlin/Heidelberg: Springer, 2007.","ieee":"K. Anastasakis, B. Bordbar, and J. Küster, “Analysis of Model Transformations via Alloy,” in <i>Proceedings of the workshop on Model-Driven Engineering, Verification and Validation (MoDeVVA 2007), Nashville, TN (USA)</i>, 2007, vol. 5002, pp. 47–56."},"_id":"8413","intvolume":"      5002","user_id":"52534","publisher":"Springer","language":[{"iso":"eng"}],"department":[{"_id":"66"}],"type":"conference","author":[{"first_name":"Kyriakos","full_name":"Anastasakis, Kyriakos","last_name":"Anastasakis"},{"first_name":"Behzad","full_name":"Bordbar, Behzad","last_name":"Bordbar"},{"first_name":"Jochen","last_name":"Küster","full_name":"Küster, Jochen"}],"volume":5002,"year":"2007","title":"Analysis of Model Transformations via Alloy"}