| |
| 1997 | ||
|---|---|---|
| 3 | EE | Peter Hartel, Grit Denker, Mojgan Kowsari, Maren Krone, Hans-Dieter Ehrich: Information Systems Modelling with TROLL Formal Methods at Work. Inf. Syst. 22(2/3): 79-99 (1997) |
| 1996 | ||
| 2 | Maren Krone, Mojgan Kowsari, Peter Hartel, Grit Denker, Hans-Dieter Ehrich: Developing an Information System Using TROLL: An Application Field Study. CAiSE 1996: 136-159 | |
| 1994 | ||
| 1 | EE | Maren Krone, Gregor Snelting: On the Inference of Configuration Structures from Source Code. ICSE 1994: 49-57 |
| 1 | Grit Denker | [2] [3] |
| 2 | Hans-Dieter Ehrich | [2] [3] |
| 3 | Peter Hartel | [2] [3] |
| 4 | Mojgan Kowsari | [2] [3] |
| 5 | Gregor Snelting | [1] |