| * | 1997 | |
|---|---|---|
| 1 | Anders Ek, Jens Grabowski, Dieter Hogrefe, Richard Jerome, Beat Koch, Michael Schmitt II: Towards the industrial use of validation techniques and automatic test generation methods for SDL specifications. SDL Forum 1997: 245-260 | |
| 1 | Anders Ek | [1] |
| 2 | Michael Gerz (Michael Schmitt II) | [1] |
| 3 | Jens Grabowski | [1] |
| 4 | Dieter Hogrefe | [1] |
| 5 | Beat Koch | [1] |