| |
| 2008 | ||
|---|---|---|
| 2 | EE | Joost-Pieter Katoen, Alexandru Mereacre: Model Checking HML on Piecewise-Constant Inhomogeneous Markov Chains. FORMATS 2008: 203-217 |
| 1 | EE | Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre: Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains. HSCC 2008: 244-258 |
| 1 | Tingting Han | [1] |
| 2 | Joost-Pieter Katoen | [1] [2] |