{"title":"Automatisierte Modellverifikation mithilfe einer Äquivalenzprüfung an einem Referenzmodell","status":"public","publisher":"Kassel University Press","author":[{"first_name":"Akin","full_name":"Akbulut, Akin","last_name":"Akbulut"},{"last_name":"Laroque","full_name":"Laroque, Christoph","first_name":"Christoph"},{"last_name":"Dangelmaier","first_name":" Wilhelm","full_name":"Dangelmaier,  Wilhelm"}],"department":[{"_id":"671"}],"user_id":"71124","language":[{"iso":"ger"}],"date_created":"2021-09-28T17:34:24Z","type":"conference","date_updated":"2022-01-06T06:56:51Z","conference":{"end_date":"2017-09-22","start_date":"2017-09-20"},"editor":[{"full_name":"Wenzel, Sigrid","first_name":"Sigrid","last_name":"Wenzel"},{"last_name":" Peter","full_name":" Peter, Tim","first_name":"Tim"}],"year":"2017","_id":"25100","publication_status":"published","page":"189 - 198","series_title":"Simulation in Produktion und Logistik","citation":{"bibtex":"@article{Akbulut_Laroque_Dangelmaier_2017, series={Simulation in Produktion und Logistik}, title={Automatisierte Modellverifikation mithilfe einer Äquivalenzprüfung an einem Referenzmodell}, publisher={Kassel University Press}, author={Akbulut, Akin and Laroque, Christoph and Dangelmaier,  Wilhelm}, editor={Wenzel, Sigrid and  Peter, Tim}, year={2017}, pages={189–198}, collection={Simulation in Produktion und Logistik} }","mla":"Akbulut, Akin, et al. <i>Automatisierte Modellverifikation mithilfe einer Äquivalenzprüfung an einem Referenzmodell</i>. Edited by Sigrid Wenzel and Tim  Peter, Kassel University Press, 2017, pp. 189–98.","apa":"Akbulut, A., Laroque, C., &#38; Dangelmaier,  Wilhelm. (2017). <i>Automatisierte Modellverifikation mithilfe einer Äquivalenzprüfung an einem Referenzmodell</i> (S. Wenzel &#38; T.  Peter, Eds.; pp. 189–198). Kassel University Press.","ama":"Akbulut A, Laroque C, Dangelmaier  Wilhelm. Automatisierte Modellverifikation mithilfe einer Äquivalenzprüfung an einem Referenzmodell. Wenzel S,  Peter T, eds. Published online 2017:189-198.","ieee":"A. Akbulut, C. Laroque, and  Wilhelm Dangelmaier, “Automatisierte Modellverifikation mithilfe einer Äquivalenzprüfung an einem Referenzmodell.” Kassel University Press, pp. 189–198, 2017.","chicago":"Akbulut, Akin, Christoph Laroque, and  Wilhelm Dangelmaier. “Automatisierte Modellverifikation mithilfe einer Äquivalenzprüfung an einem Referenzmodell.” Edited by Sigrid Wenzel and Tim  Peter. Simulation in Produktion und Logistik. Kassel University Press, 2017.","short":"A. Akbulut, C. Laroque,  Wilhelm Dangelmaier, (2017) 189–198."}}