E
[ET97] E. Allen Emerson and Richard J. Trefler. Generalized Quantitative Temporal Reasoning. In TAPSOFT'97, Lecture Notes in Computer Science 1214, pages 189-200. Springer-Verlag, April 1997. 
@inproceedings{tapsoft1997-ET,
  author =              {Emerson, E. Allen and Trefler, Richard J.},
  title =               {Generalized Quantitative Temporal Reasoning},
  editor =              {Bidoit, Michel and Dauchet, Max},
  booktitle =           {{P}roceedings of the 7th {I}nternational {J}oint
                         {C}onference {CAAP}{\slash}{FASE} on {T}heory and
                         {P}ractice of {S}oftware {D}evelopment
                         ({TAPSOFT}'97)},
  acronym =             {{TAPSOFT}'97},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {1214},
  pages =               {189-200},
  year =                {1997},
  month =               apr,
}
List of authors