| |
| 2008 | ||
|---|---|---|
| 2 | EE | Jasper Berendsen, Frits W. Vaandrager: Compositional Abstraction in Real-Time Model Checking. FORMATS 2008: 233-249 |
| 2006 | ||
| 1 | EE | Jasper Berendsen, David N. Jansen, Joost-Pieter Katoen: Probably on Time and within Budget: On Reachability in Priced Probabilistic Timed Automata. QEST 2006: 311-322 |
| 1 | David N. Jansen | [1] |
| 2 | Joost-Pieter Katoen | [1] |
| 3 | Frits W. Vaandrager | [2] |