E
[ET96] E. Allen Emerson et Richard J. Trefler. Generalized Quantitative Temporal Reasoning. Technical Report 96-20, Department of Computer Science, University of Texas at Austin, USA, 1996. 
@techreport{TR-96-20-ET,
  author =              {Emerson, E. Allen and Trefler, Richard J.},
  title =               {Generalized Quantitative Temporal Reasoning},
  number =              {96-20},
  year =                {1996},
  institution =         {Department of Computer Science, University of Texas
                         at Austin, USA},
  type =                {Technical Report},
}
Liste des auteurs