A
[AH92] Rajeev Alur et Thomas A. Henzinger. Back to the Future: Towards a Theory of Timed Regular Languages. In FOCS'92, pages 177-186. IEEE Comp. Soc. Press, octobre 1992. 
@inproceedings{focs1992-AH,
  author =              {Alur, Rajeev and Henzinger, Thomas A.},
  title =               {Back to the Future: Towards a Theory of Timed
                         Regular Languages},
  booktitle =           {{P}roceedings of the 33rd {A}nnual {S}ymposium on
                         {F}oundations of {C}omputer {S}cience ({FOCS}'92)},
  acronym =             {{FOCS}'92},
  publisher =           {IEEE Comp. Soc. Press},
  pages =               {177-186},
  year =                {1992},
  month =               oct,
}
Liste des auteurs