Sciweavers

QEST
2008
IEEE

Computing Expected Absorption Times for Parametric Determinate Probabilistic Timed Automata

14 years 5 months ago
Computing Expected Absorption Times for Parametric Determinate Probabilistic Timed Automata
Najla Chamseddine, Marie Duflot, Laurent Fribourg,
Added 01 Jun 2010
Updated 01 Jun 2010
Type Conference
Year 2008
Where QEST
Authors Najla Chamseddine, Marie Duflot, Laurent Fribourg, Claudine Picaronny, Jeremy Sproston
Comments (0)