{"citation":{"ieee":"S. Flake, W. Müller, U. Pape, and J. Ruf, “Real-Time Model Checking for the Analysis of flexible Manufacturing Systems,” 2001.","mla":"Flake, Stephan, et al. “Real-Time Model Checking for the Analysis of Flexible Manufacturing Systems.” <i>Proceedings of ISI 2001</i>, 2001.","chicago":"Flake, Stephan, Wolfgang Müller, U. Pape, and Jürgen Ruf. “Real-Time Model Checking for the Analysis of Flexible Manufacturing Systems.” In <i>Proceedings of ISI 2001</i>. Dubai, 2001.","bibtex":"@inproceedings{Flake_Müller_Pape_Ruf_2001, place={Dubai}, title={Real-Time Model Checking for the Analysis of flexible Manufacturing Systems}, booktitle={Proceedings of ISI 2001}, author={Flake, Stephan and Müller, Wolfgang and Pape, U. and Ruf, Jürgen}, year={2001} }","short":"S. Flake, W. Müller, U. Pape, J. Ruf, in: Proceedings of ISI 2001, Dubai, 2001.","ama":"Flake S, Müller W, Pape U, Ruf J. Real-Time Model Checking for the Analysis of flexible Manufacturing Systems. In: <i>Proceedings of ISI 2001</i>. ; 2001.","apa":"Flake, S., Müller, W., Pape, U., &#38; Ruf, J. (2001). Real-Time Model Checking for the Analysis of flexible Manufacturing Systems. <i>Proceedings of ISI 2001</i>."},"date_created":"2023-01-24T10:43:11Z","status":"public","_id":"39427","type":"conference","publication":"Proceedings of ISI 2001","author":[{"first_name":"Stephan","full_name":"Flake, Stephan","last_name":"Flake"},{"id":"16243","last_name":"Müller","first_name":"Wolfgang","full_name":"Müller, Wolfgang"},{"first_name":"U.","full_name":"Pape, U.","last_name":"Pape"},{"last_name":"Ruf","full_name":"Ruf, Jürgen","first_name":"Jürgen"}],"user_id":"5786","year":"2001","language":[{"iso":"eng"}],"department":[{"_id":"672"}],"title":"Real-Time Model Checking for the Analysis of flexible Manufacturing Systems","date_updated":"2023-01-24T10:43:21Z","place":"Dubai"}