TY  - THES
DP  - http://www.theses.fr/2011DENS0038
TI  - Supervision of distributed systems using constrained unfoldings of timed models
AU  - Grabiec, Bartosz
A3  - Jard, Claude
PY  - 2011
N1  - Thèse de doctorat Mathématiques Cachan, Ecole normale supérieure 2011
N1  - 2011DENS0038
UR  - http://www.theses.fr/2011DENS0038/document
ER  -