| 2008 | ||
|---|---|---|
| 2 | Jürgen Großmann, Ina Schieferdecker, Hans-Werner Wiesbrock: Modeling Property Based Stream Templates with TTCN-3. TestCom/FATES 2008: 70-85 | |
| 2002 | ||
| 1 | Hans-Werner Wiesbrock, Heiko Dörr, Hans Jürgen Holberg: Model Checking im Automativbereich. GI Jahrestagung 2002: 819-823 | |
| 1 | Heiko Dörr | [1] |
| 2 | Jürgen Großmann (Juergen Grossmann) | [2] |
| 3 | Hans Jürgen Holberg | [1] |
| 4 | Ina Schieferdecker | [2] |