Wilhelm Dangelmaier, C. Darnedde, Stephan Flake, W. Müller, Ulrich Pape. Graphische Spezifikation und Echtzeitverifikation von Produktautomatisierungssystemen (GRASP). In Wilhelm Dangelmaier, Andreas Emmrich, Daniel Kaschula, editors, Modelle im E-Business, 4. Paderborner Frühjahrstagung des Fraunhofer-Anwendungszentrums für Logistikorientierte Betriebswirtschaft, 11.4.2002, Paderborn, Germany. pages 829, Fraunhofer-ALB, 2002.
Abstract is missing.