Habilitation defense
I will defend my habilitation thesis from University Paris Diderot on
January 12, 2009 at 2PM. The defense will take place in
Pavillon des Jardins (ENS Cachan).
« From
Qualitative to Quantitative Analysis of Timed
Systems »
The committee will be composed of: