{"publication":"TdSE 2019","type":"conference","date_updated":"2022-01-06T06:55:39Z","language":[{"iso":"eng"}],"department":[{"_id":"563"}],"title":"Model Checking of Integratively Designed Product and Production Systems","_id":"22709","citation":{"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} }","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.","mla":"Dumitrescu, Roman, et al. “Model Checking of Integratively Designed Product and Production Systems.” <i>TdSE 2019</i>, 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.","short":"R. Dumitrescu, S. Japs, L. Kaiser, R. Rasor, in: TdSE 2019, Garching, 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."},"user_id":"21240","date_created":"2021-07-12T12:44:13Z","status":"public","place":"Garching","year":"2019","author":[{"first_name":"Roman","full_name":"Dumitrescu, Roman","id":"16190","last_name":"Dumitrescu"},{"full_name":"Japs, Sergej","last_name":"Japs","first_name":"Sergej"},{"first_name":"Lydia","last_name":"Kaiser","full_name":"Kaiser, Lydia"},{"full_name":"Rasor, Rik","last_name":"Rasor","first_name":"Rik"}]}