- CSB - MetaPress - Google - Bing - Yahoo
 | 2003 | |
|---|---|---|
| 1 |      | Werner Damm, Christoph Schulte, Hartmut Wittke, Marc Segelken, Uwe Higgen, Michael Eckrich: Formale Verifikation von ASCET Modellen im Rahmen der Entwicklung der Aktivlenkung. GI Jahrestagung (1) 2003: 340-344 |
| 1 | Werner Damm | [1] |
| 2 | Michael Eckrich | [1] |
| 3 | Christoph Schulte | [1] |
| 4 | Marc Segelken | [1] |
| 5 | Hartmut Wittke | [1] |