{"date_updated":"2023-01-24T10:43:21Z","place":"Dubai","department":[{"_id":"672"}],"status":"public","language":[{"iso":"eng"}],"_id":"39427","author":[{"last_name":"Flake","full_name":"Flake, Stephan","first_name":"Stephan"},{"full_name":"Müller, Wolfgang","last_name":"Müller","id":"16243","first_name":"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","publication":"Proceedings of ISI 2001","date_created":"2023-01-24T10:43:11Z","title":"Real-Time Model Checking for the Analysis of flexible Manufacturing Systems","citation":{"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.","mla":"Flake, Stephan, et al. “Real-Time Model Checking for the Analysis of Flexible Manufacturing Systems.” <i>Proceedings of ISI 2001</i>, 2001.","short":"S. Flake, W. Müller, U. Pape, J. Ruf, in: Proceedings of ISI 2001, Dubai, 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>.","ieee":"S. Flake, W. Müller, U. Pape, and J. Ruf, “Real-Time Model Checking for the Analysis of flexible Manufacturing Systems,” 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.","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} }"},"year":"2001","type":"conference"}