E
[ET99] E. Allen Emerson and Richard J. Trefler. Parametric Quantitative Temporal Reasoning. In LICS'99, pages 336-343. IEEE Comp. Soc. Press, July 1999. 
@inproceedings{lics1999-ET,
  author =              {Emerson, E. Allen and Trefler, Richard J.},
  title =               {Parametric Quantitative Temporal Reasoning},
  booktitle =           {{P}roceedings of the 14th {A}nnual {S}ymposium on
                         {L}ogic in {C}omputer {S}cience ({LICS}'99)},
  acronym =             {{LICS}'99},
  publisher =           {IEEE Comp. Soc. Press},
  pages =               {336-343},
  year =                {1999},
  month =               jul,
}
List of authors