{"_id":"22709","user_id":"21240","type":"conference","department":[{"_id":"563"}],"author":[{"first_name":"Roman","id":"16190","last_name":"Dumitrescu","full_name":"Dumitrescu, Roman"},{"last_name":"Japs","full_name":"Japs, Sergej","first_name":"Sergej"},{"first_name":"Lydia","last_name":"Kaiser","full_name":"Kaiser, Lydia"},{"last_name":"Rasor","full_name":"Rasor, Rik","first_name":"Rik"}],"title":"Model Checking of Integratively Designed Product and Production Systems","date_created":"2021-07-12T12:44:13Z","publication":"TdSE 2019","place":"Garching","year":"2019","citation":{"short":"R. Dumitrescu, S. Japs, L. Kaiser, R. Rasor, in: TdSE 2019, Garching, 2019.","ieee":"R. Dumitrescu, S. Japs, L. Kaiser, and R. Rasor, “Model Checking of Integratively Designed Product and Production Systems,” in <i>TdSE 2019</i>, 2019.","bibtex":"@inproceedings{Dumitrescu_Japs_Kaiser_Rasor_2019, place={Garching}, title={Model Checking of Integratively Designed Product and Production Systems}, booktitle={TdSE 2019}, author={Dumitrescu, Roman and Japs, Sergej and Kaiser, Lydia and Rasor, Rik}, year={2019} }","mla":"Dumitrescu, Roman, et al. “Model Checking of Integratively Designed Product and Production Systems.” <i>TdSE 2019</i>, 2019.","chicago":"Dumitrescu, Roman, Sergej Japs, Lydia Kaiser, and Rik Rasor. “Model Checking of Integratively Designed Product and Production Systems.” In <i>TdSE 2019</i>. Garching, 2019.","apa":"Dumitrescu, R., Japs, S., Kaiser, L., &#38; Rasor, R. (2019). Model Checking of Integratively Designed Product and Production Systems. In <i>TdSE 2019</i>. Garching.","ama":"Dumitrescu R, Japs S, Kaiser L, Rasor R. Model Checking of Integratively Designed Product and Production Systems. In: <i>TdSE 2019</i>. Garching; 2019."},"date_updated":"2022-01-06T06:55:39Z","status":"public","language":[{"iso":"eng"}]}