B
[Bel06] Houda Bel Mokadem. Vérification des propriétés temporisées des automates programmables industriels. Thèse de doctorat, Lab. Spécification & Vérification, ENS Cachan, France, September 2006. 
@phdthesis{phd-belmokadem,
  author =              {Bel{~}Mokadem, Houda},
  title =               {V{\'e}rification des propri{\'e}t{\'e}s
                         temporis{\'e}es des automates programmables
                         industriels},
  year =                {2006},
  month =               sep,
  school =              {Lab.~Sp\'ecification \& V\'erification, ENS Cachan,
                         France},
  type =                {Th\`ese de doctorat},
}
List of authors