Real-Time Model Checking for the Analysis of flexible Manufacturing Systems
S. Flake, W. Müller, U. Pape, J. Ruf, in: Proceedings of ISI 2001, Dubai, 2001.
Download
No fulltext has been uploaded.
Conference Paper
| English
Author
Flake, Stephan;
Müller, WolfgangLibreCat;
Pape, U.;
Ruf, Jürgen
Publishing Year
Proceedings Title
Proceedings of ISI 2001
LibreCat-ID
Cite this
Flake S, Müller W, Pape U, Ruf J. Real-Time Model Checking for the Analysis of flexible Manufacturing Systems. In: Proceedings of ISI 2001. ; 2001.
Flake, S., Müller, W., Pape, U., & Ruf, J. (2001). Real-Time Model Checking for the Analysis of flexible Manufacturing Systems. Proceedings of ISI 2001.
@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} }
Flake, Stephan, Wolfgang Müller, U. Pape, and Jürgen Ruf. “Real-Time Model Checking for the Analysis of Flexible Manufacturing Systems.” In Proceedings of ISI 2001. Dubai, 2001.
S. Flake, W. Müller, U. Pape, and J. Ruf, “Real-Time Model Checking for the Analysis of flexible Manufacturing Systems,” 2001.
Flake, Stephan, et al. “Real-Time Model Checking for the Analysis of Flexible Manufacturing Systems.” Proceedings of ISI 2001, 2001.
Google Scholar