O
[Ore08] Ghassan Oreiby. Logiques temporelles pour le contrôle temporisé. Thèse de doctorat, Lab. Spécification & Vérification, ENS Cachan, France, Décembre 2008. 
@phdthesis{phd-oreiby,
  author =              {Oreiby, Ghassan},
  title =               {Logiques temporelles pour le contr{\^o}le
                         temporis{\'e}},
  year =                {2008},
  month =               dec,
  school =              {Lab.~Sp\'ecification \& V\'erification, ENS Cachan,
                         France},
  type =                {Th\`ese de doctorat},
}
Liste des auteurs