B
[BL95] Ahmed Bouajjani and Yassine Lakhnech. Temporal Logic + Timed Automata: Expressiveness and Decidability. In CONCUR'95, Lecture Notes in Computer Science 962, pages 531-545. Springer-Verlag, August 1995. 
@inproceedings{concur1995-BL,
  author =              {Bouajjani, Ahmed and Lakhnech, Yassine},
  title =               {Temporal Logic + Timed Automata: Expressiveness and
                         Decidability},
  editor =              {Lee, Insup and Smolka, Scott A.},
  booktitle =           {{P}roceedings of the 6th {I}nternational
                         {C}onference on {C}oncurrency {T}heory
                         ({CONCUR}'95)},
  acronym =             {{CONCUR}'95},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {962},
  pages =               {531-545},
  year =                {1995},
  month =               aug,
}
List of authors