Nicolas Markey

@phdthesis{phd-oddoux,
  author =              {Oddoux, Denis},
  title =               {Utilisation des automates alternants pour un
                         model-checking efficace des logiques temporelles
                         lin{\'e}aires},
  year =                {2003},
  month =               dec,
  school =              {Lab.~Informatique Algorithmique: Fondements et
                         Applications, Universit{\'e} Paris~7, France},
  type =                {Th\`ese de doctorat},
}