E
[EMS+92] E. Allen Emerson, Aloysius Ka-Lau Mok, A. Prasad Sistla et Jayashankar Srinivasan. Quantitative Temporal Reasoning. Real-Time Systems 4:331-352. Kluwer Academic, 1992. 
@article{rts4()-EMSS,
  author =              {Emerson, E. Allen and Mok, Aloysius Ka-Lau and
                         Sistla, A. Prasad and Srinivasan, Jayashankar},
  title =               {Quantitative Temporal Reasoning},
  publisher =           {Kluwer Academic},
  journal =             {Real-Time Systems},
  volume =              {4},
  pages =               {331-352},
  year =                {1992},
}
Liste des auteurs