{"author":[{"last_name":"Dangelmeier","first_name":"Wilhelm","full_name":"Dangelmeier, Wilhelm"},{"last_name":"Darnedde","first_name":"C.","full_name":"Darnedde, C."},{"full_name":"Flake, Stephan","last_name":"Flake","first_name":"Stephan"},{"id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang"},{"last_name":"Pape","first_name":"U.","full_name":"Pape, U."}],"status":"public","citation":{"ama":"Dangelmeier W, Darnedde C, Flake S, Müller W, Pape U. Graphische Spezifikation und Echtzeitverifikation von Produktionsautomatisierungssystemen. Published online 2002.","ieee":"W. Dangelmeier, C. Darnedde, S. Flake, W. Müller, and U. Pape, “Graphische Spezifikation und Echtzeitverifikation von Produktionsautomatisierungssystemen.” Paderborn, Germany, 2002.","mla":"Dangelmeier, Wilhelm, et al. <i>Graphische Spezifikation Und Echtzeitverifikation von Produktionsautomatisierungssystemen</i>. 2002.","short":"W. Dangelmeier, C. Darnedde, S. Flake, W. Müller, U. Pape, (2002).","bibtex":"@article{Dangelmeier_Darnedde_Flake_Müller_Pape_2002, place={Paderborn, Germany}, series={Tagungsband: 4. Paderborner Frühlingstagung}, title={Graphische Spezifikation und Echtzeitverifikation von Produktionsautomatisierungssystemen}, author={Dangelmeier, Wilhelm and Darnedde, C. and Flake, Stephan and Müller, Wolfgang and Pape, U.}, year={2002}, collection={Tagungsband: 4. Paderborner Frühlingstagung} }","chicago":"Dangelmeier, Wilhelm, C. Darnedde, Stephan Flake, Wolfgang Müller, and U. Pape. “Graphische Spezifikation Und Echtzeitverifikation von Produktionsautomatisierungssystemen.” Tagungsband: 4. Paderborner Frühlingstagung. Paderborn, Germany, 2002.","apa":"Dangelmeier, W., Darnedde, C., Flake, S., Müller, W., &#38; Pape, U. (2002). <i>Graphische Spezifikation und Echtzeitverifikation von Produktionsautomatisierungssystemen</i>."},"department":[{"_id":"672"}],"date_created":"2023-01-24T10:15:34Z","user_id":"5786","language":[{"iso":"eng"}],"year":"2002","date_updated":"2023-01-24T10:15:39Z","_id":"39393","type":"conference","series_title":"Tagungsband: 4. Paderborner Frühlingstagung","title":"Graphische Spezifikation und Echtzeitverifikation von Produktionsautomatisierungssystemen","place":"Paderborn, Germany"}