![]() | ![]() |
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] |