L
[LLW95] François Laroussinie, Kim Guldstrand Larsen, and Carsten Weise. From Timed Automata to Logic – and Back. In MFCS'95, Lecture Notes in Computer Science 969, pages 529-539. Springer-Verlag, August 1995. 
@inproceedings{mfcs1995-LLW,
  author =              {Laroussinie, Fran{\c c}ois and Larsen, Kim
                         Guldstrand and Weise, Carsten},
  title =               {From Timed Automata to Logic~-- and Back},
  editor =              {Wiedermann, Jir{\'\i} and H{\'a}jek, Petr},
  booktitle =           {{P}roceedings of the 20th {I}nternational
                         {S}ymposium on {M}athematical {F}oundations of
                         {C}omputer {S}cience ({MFCS}'95)},
  acronym =             {{MFCS}'95},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {969},
  pages =               {529-539},
  year =                {1995},
  month =               aug,
  doi =                 {10.1007/3-540-60246-1_158},
}
List of authors