| |
| 2009 | ||
|---|---|---|
| 2 | EE | Tingting Han, Joost-Pieter Katoen, Berteun Damman: Counterexample Generation in Probabilistic Model Checking. IEEE Trans. Software Eng. 35(2): 241-257 (2009) |
| 2008 | ||
| 1 | EE | Berteun Damman, Tingting Han, Joost-Pieter Katoen: Regular Expressions for PCTL Counterexamples. QEST 2008: 179-188 |
| 1 | Tingting Han | [1] [2] |
| 2 | Joost-Pieter Katoen | [1] [2] |