Najla Chamseddine. Analyse quantitative paramétrée d'automates temporisés probabilistes. (Quantitave and parametric analysis of probabilistic timed automata). PhD thesis, École normale supérieure de Cachan, France, 2009. [doi]
No references recorded for this publication.
No citations of this publication recorded.