[{"author":[{"first_name":"Kyriakos","last_name":"Anastasakis"},{"last_name":"Bordbar","first_name":"Behzad"},{"last_name":"Küster","first_name":"Jochen"}],"publication":"Proceedings of the workshop on Model-Driven Engineering, Verification and Validation (MoDeVVA 2007), Nashville, TN (USA)","status":"public","date_created":"2019-03-06T11:44:56Z","volume":5002,"user_id":"52534","citation":{"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.” Proceedings of the Workshop on Model-Driven Engineering, Verification and Validation (MoDeVVA 2007), Nashville, TN (USA), vol. 5002, Springer, 2007, pp. 47–56.","apa":"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.","chicago":"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.","ieee":"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.","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."},"type":"conference","uri_base":"https://ris.uni-paderborn.de","page":"47-56","intvolume":" 5002","_id":"8413","department":[{"tree":[{"_id":"7"},{"_id":"34"},{"_id":"44"},{"_id":"43"}],"_id":"66"}],"dini_type":"doc-type:conferenceObject","place":"Berlin/Heidelberg","dc":{"source":["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."],"creator":["Anastasakis, Kyriakos","Bordbar, Behzad","Küster, Jochen"],"title":["Analysis of Model Transformations via Alloy"],"identifier":["https://ris.uni-paderborn.de/record/8413"],"date":["2007"],"language":["eng"],"type":["info:eu-repo/semantics/conferenceObject","doc-type:conferenceObject","text","http://purl.org/coar/resource_type/c_5794"],"rights":["info:eu-repo/semantics/closedAccess"],"publisher":["Springer"]},"series_title":"LNCS","language":[{}],"date_updated":"2022-01-06T07:03:54Z","creator":{"login":"milanp","id":"52534"}}]