2008 | ||
---|---|---|
1 | EE | Najla Chamseddine, Marie Duflot, Laurent Fribourg, Claudine Picaronny, Jeremy Sproston: Computing Expected Absorption Times for Parametric Determinate Probabilistic Timed Automata. QEST 2008: 254-263 |
1 | Marie Duflot | [1] |
2 | Laurent Fribourg | [1] |
3 | Claudine Picaronny | [1] |
4 | Jeremy Sproston | [1] |