A
[AH93] Rajeev Alur et Thomas A. Henzinger. Real-time Logics: Complexity and Expressiveness. Information and Computation 104(1):35-77. Academic Press, mai 1993. 
@article{icomp104(1)-AH,
  author =              {Alur, Rajeev and Henzinger, Thomas A.},
  title =               {Real-time Logics: Complexity and Expressiveness},
  publisher =           {Academic Press},
  journal =             {Information and Computation},
  volume =              {104},
  number =              {1},
  pages =               {35-77},
  year =                {1993},
  month =               may,
}
Liste des auteurs