| |
| 1994 | ||
|---|---|---|
| 2 | Werner Damm, J. Helbig: Linking Visual Formalisms: A Compositional Proof System for Statecharts Based on Symbolic Timing Diagrams. PROCOMET 1994: 341-359 | |
| 1992 | ||
| 1 | J. Helbig, R. Hoffmann, A. Kallich: Verbesserung der automatischen Erkennung gesprochener Ziffern mit Telefonqualität. DAGM-Symposium 1992: 347-352 | |
| 1 | Werner Damm | [2] |
| 2 | R. Hoffmann | [1] |
| 3 | A. Kallich | [1] |