B
[BL12] Mikołaj Bojańczyk and Sławomir Lasota. A Machine-Independent Characterization of Timed Languages. In ICALP'12, Lecture Notes in Computer Science 7392, pages 92-103. Springer-Verlag, July 2012. 
@inproceedings{icalp2012-BL,
  author =              {Boja{\'n}czyk, Miko{\l}aj and Lasota, S{\l}awomir},
  title =               {A~Machine-Independent Characterization of Timed
                         Languages},
  editor =              {Czumaj, Artur and Mehlhorn, Kurt and Pitts, Andrew
                         and Wattenhofer, Roger},
  booktitle =           {{P}roceedings of the 39th {I}nternational
                         {C}olloquium on {A}utomata, {L}anguages and
                         {P}rogramming ({ICALP}'12)~-- Part~{II}},
  acronym =             {{ICALP}'12},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {7392},
  pages =               {92-103},
  year =                {2012},
  month =               jul,
  doi =                 {10.1007/978-3-642-31585-5_12},
}
List of authors