L
[Lar94] François Laroussinie. Logiques temporelles avec passé pour la spécification et la vérification des systèmes réactifs. Thèse de doctorat, INPG, 1994. 
@phdthesis{phd-laroussinie,
  author =              {Laroussinie, Fran{\c c}ois},
  title =               {Logiques temporelles avec pass{\'e} pour la
                         sp{\'e}cification et la v{\'e}rification des
                         syst{\`e}mes r{\'e}actifs},
  year =                {1994},
  school =              {INPG},
  type =                {Th\`ese de doctorat},
}
List of authors