Pierre Carlier
Original record- Institution
- Université de Mons and Université Paris-Saclay
- Year
- 2017
- Country
- Belgium
- MGP identifier
- 229899
Dissertation: Verification of stochastic timed automata
Mathematics Subject Classification: 60—Probability theory and stochastic processes
Advisors 2
- Thomas BrihayeUniversité de Mons-Hainaut · 2006
- Patricia BouyerÉcole Normale Supérieure de Cachan · 2002
Students 0
No students recorded in this snapshot.