| |
| 2008 | ||
|---|---|---|
| 2 | EE | Sascha Klüppelholz, Christel Baier: Alternating-Time Stream Logic for Multi-agent Systems. COORDINATION 2008: 184-198 |
| 2007 | ||
| 1 | EE | Sascha Klüppelholz, Christel Baier: Symbolic Model Checking for Channel-based Component Connectors. Electr. Notes Theor. Comput. Sci. 175(2): 19-37 (2007) |
| 1 | Christel Baier | [1] [2] |