TY  - THES
DP  - http://www.theses.fr/2017SACLN058
TI  - Verification of Stochastic Timed Automata
AU  - Carlier, Pierre
A3  - Bouyer-Decitre, Patricia; Brihaye, Thomas
PY  - 2017
N1  - Thèse de doctorat Informatique Université Paris-Saclay (ComUE) 2017
N1  - Thèse de doctorat Informatique Université de Mons 2017
N1  - 2017SACLN058
UR  - http://www.theses.fr/2017SACLN058/document
ER  -