| |
| 2007 | ||
|---|---|---|
| 4 | EE | Anne Remke, Boudewijn R. Haverkort: CSL Model Checking Algorithms for Infinite-State Structured Markov Chains. FORMATS 2007: 336-351 |
| 3 | EE | Anne Remke, Boudewijn R. Haverkort, Lucia Cloth: CSL model checking algorithms for QBDs. Theor. Comput. Sci. 382(1): 24-41 (2007) |
| 2006 | ||
| 2 | EE | Anne Remke, Boudewijn R. Haverkort, Lucia Cloth: A versatile infinite-state Markov reward model to study bottlenecks in 2-hop ad hoc networks. QEST 2006: 63-72 |
| 2005 | ||
| 1 | EE | Anne Remke, Boudewijn R. Haverkort, Lucia Cloth: Model Checking Infinite-State Markov Chains. TACAS 2005: 237-252 |
| 1 | Lucia Cloth | [1] [2] [3] |
| 2 | Boudewijn R. Haverkort | [1] [2] [3] [4] |