| |
| 2005 | ||
|---|---|---|
| 4 | EE | Roberto Ziller: An Application of Generalized Supervisor Synthesis to the Control of a Call Center. FDL 2005: 429-431 |
| 3 | EE | Roberto Ziller, Klaus Schneider: Combining supervisor synthesis and model checking. ACM Trans. Embedded Comput. Syst. 4(2): 331-362 (2005) |
| 2003 | ||
| 2 | EE | Roberto Ziller, Klaus Schneider: A Generalised Approach to Supervisor Synthesis. MEMOCODE 2003: 217-226 |
| 2001 | ||
| 1 | EE | Michael Baldamus, Klaus Schneider, Michael Wenz, Roberto Ziller: Can American Checkers be Solved by Means of Symbolic Model Checking? Electr. Notes Theor. Comput. Sci. 43: (2001) |
| 1 | Michael Baldamus | [1] |
| 2 | Klaus Schneider | [1] [2] [3] |
| 3 | Michael Wenz | [1] |