| |
| 1999 | ||
|---|---|---|
| 2 | EE | Angelika Mader, Hanno Wupper: Timed automaton models for simple programmable logic controllers. ECRTS 1999: 106-113 |
| 1988 | ||
| 1 | Hanno Wupper, Jan Vytopil: A Specification Language for Reliable Real-time Systems. FTRTFT 1988: 111-127 | |
| 1 | Angelika Mader | [2] |
| 2 | Jan Vytopil | [1] |