- CSB - MetaPress - Google - Bing - Yahoo
 | 2009 | |
|---|---|---|
| 5 |      | Christel Baier, Tobias Blechmann, Joachim Klein, Sascha Klüppelholz: A Uniform Framework for Modeling and Verifying Components and Connectors. COORDINATION 2009: 247-267 |
| 4 | | Sascha Klüppelholz, Christel Baier: Symbolic model checking for channel-based component connectors. Sci. Comput. Program. 74(9): 688-701 (2009) |
| 2008 | ||
| 3 | | Sascha Klüppelholz, Christel Baier: Alternating-Time Stream Logic for Multi-agent Systems. COORDINATION 2008: 184-198 |
| 2 | | Christel Baier, Tobias Blechmann, Joachim Klein, Sascha Klüppelholz: Formal Verification for Components and Connectors. FMCO 2008: 82-101 |
| 2007 | ||
| 1 | | 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] [3] [4] [5] |
| 2 | Tobias Blechmann | [2] [5] |
| 3 | Joachim Klein | [2] [5] |