| |
| 1994 | ||
|---|---|---|
| 3 | Kurt Lautenbach, Hanno Ridder: Liveness in Bounded Petri Nets Which Are Covered by T-Invariants. Application and Theory of Petri Nets 1994: 358-375 | |
| 1992 | ||
| 2 | Frieder Stolzenburg, Alexander Bach, Christian Lieske, Hanno Ridder, Martin Volk: Third European Summer Scholl on Language, Logic, and Information - Saarbrücken 1991. KI 6(1): 46-46 (1992) | |
| 1 | EE | Martin Volk, Hanno Ridder: GTU - eine Grammatik Testumgebung mit Testsatzarchiv. LDV Forum 9(1): 34-37 (1992) |
| 1 | Alexander Bach | [2] |
| 2 | Kurt Lautenbach | [3] |
| 3 | Christian Lieske | [2] |
| 4 | Frieder Stolzenburg | [2] |
| 5 | Martin Volk | [1] [2] |