| |
| * | 2009 | |
|---|---|---|
| 3 | EE | Joost-Pieter Katoen, Daniel Klink, Martin R. Neuhäußer: Compositional Abstraction for Stochastic Systems. FORMATS 2009: 195-211 |
| 2008 | ||
| 2 | EE | Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf: Abstraction for Stochastic Systems by Erlang's Method of Stages. CONCUR 2008: 279-294 |
| 2007 | ||
| 1 | EE | Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf: Three-Valued Abstraction for Continuous-Time Markov Chains. CAV 2007: 311-324 |
| 1 | Joost-Pieter Katoen | [1] [2] [3] |
| 2 | Martin Leucker | [1] [2] |
| 3 | Martin R. Neuhäußer | [3] |
| 4 | Verena Wolf | [1] [2] |