D
[Doy06] Laurent Doyen. Algorithmic Analysis of Complex Semantics for Timed and Hybrid Automata. Thèse de doctorat, Département d'Informatique, Université Libre de Bruxelles, Belgium, June 2006. 
@phdthesis{phd-doyen,
  author =              {Doyen, Laurent},
  title =               {Algorithmic Analysis of Complex Semantics for Timed
                         and Hybrid Automata},
  year =                {2006},
  month =               jun,
  school =              {D{\'e}partement d'Informatique, Universit{\'e} Libre
                         de Bruxelles, Belgium},
  type =                {Th\`ese de doctorat},
}
List of authors