| |
| 1995 | ||
|---|---|---|
| 3 | EE | Rainer Schlör, Franz Korf: Verification of a production cell controller using symbolic timing diagrams. EURO-DAC 1995: 548-553 |
| 2 | Franz Korf, Rainer Schlör: Symbolic Timing Diagrams. Formal Development of Reactive Systems 1995: 311-331 | |
| 1994 | ||
| 1 | Franz Korf, Rainer Schlör: Interface Controller Synthesis from Requirement Specifications. EDAC-ETC-EUROASIC 1994: 385-394 | |
| 1 | Rainer Schlör | [1] [2] [3] |