| 2004 | ||
|---|---|---|
| 3 | Martin Zambaldi, Wolfgang Ecker, T. Kruse, W. Müller: The Formal Simulation Semantics of SystemVerilog. FDL 2004: 568-578 | |
| 2002 | ||
| 2 | Wilhelm Dangelmaier, C. Darnedde, Stephan Flake, W. Müller, Ulrich Pape: Graphische Spezifikation und Echtzeitverifikation von Produktautomatisierungssystemen (GRASP). Modelle im E-Business 2002: 829- | |
| 1996 | ||
| 1 | H. Aisch, M. Joosten, W. Müller, F. Buijs: Interaktiver Produktaustausch mit EDIFACT. CAD 1996: 165-178 | |
| 1 | H. Aisch | [1] |
| 2 | F. Buijs | [1] |
| 3 | Wilhelm Dangelmaier | [2] |
| 4 | C. Darnedde | [2] |
| 5 | Wolfgang Ecker | [3] |
| 6 | Stephan Flake | [2] |
| 7 | M. Joosten | [1] |
| 8 | T. Kruse | [3] |
| 9 | Ulrich Pape | [2] |
| 10 | Martin Zambaldi | [3] |