- CSB - MetaPress - Google - Bing - Yahoo
 | 2008 | |
|---|---|---|
| 3 |      | Andreas Eggers, Martin Fränzle, Christian Herde: SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems. ATVA 2008: 171-185 |
| 2 | | Andreas Eggers, Natalia Kalinnik, Stefan Kupferschmid, Tino Teige: Challenges in Constraint-Based Analysis of Hybrid Systems. CSCLP 2008: 51-65 |
| 1 | | Christian Herde, Andreas Eggers, Martin Fränzle, Tino Teige: Analysis of Hybrid Systems Using HySAT. ICONS 2008: 196-201 |
| 1 | Martin Fränzle | [1] [3] |
| 2 | Christian Herde | [1] [3] |
| 3 | Natalia Kalinnik | [2] |
| 4 | Stefan Kupferschmid | [2] |
| 5 | Tino Teige | [1] [2] |