{"author":[{"first_name":"Kyriakos","last_name":"Anastasakis","full_name":"Anastasakis, Kyriakos"},{"last_name":"Bordbar","full_name":"Bordbar, Behzad","first_name":"Behzad"},{"full_name":"Küster, Jochen","last_name":"Küster","first_name":"Jochen"}],"publisher":"Springer","status":"public","intvolume":"      5002","year":"2007","place":"Berlin/Heidelberg","user_id":"52534","citation":{"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} }","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.","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.","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.","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."},"date_created":"2019-03-06T11:44:56Z","title":"Analysis of Model Transformations via Alloy","_id":"8413","department":[{"_id":"66"}],"volume":5002,"language":[{"iso":"eng"}],"page":"47-56","date_updated":"2022-01-06T07:03:54Z","type":"conference","publication":"Proceedings of the workshop on Model-Driven Engineering, Verification and Validation (MoDeVVA 2007), Nashville, TN (USA)","series_title":"LNCS"}