@InProceedings{   10.5555/2040235.2040243,
  Author        = "Bouyer, Patricia and Larsen, Kim G. and Markey, Nicolas and Sankur, Ocan and Thrane, Claus",
  Address       = "Berlin, Heidelberg",
  BookTitle     = "Proceedings of the 22nd International Conference on Concurrency Theory",
  date-added    = "2020-01-06 16:05:59 +0100",
  date-modified = "2020-01-06 16:05:59 +0100",
  ISBN          = "9783642232169",
  Location      = "Aachen, Germany",
  numpages      = "16",
  Pages         = "76--91",
  Publisher     = "Springer-Verlag",
  Series        = "CONCUR'11",
  Title         = "Timed Automata Can Always Be Made Implementable",
  Year          = "2011",
  File          = "Timed Automata Can Always Be Made Implementable - BLMST-concur11 - a - a - a - s.pdf"
}

@InProceedings{ 10.5555/2040235.2040243, Author = "Bouyer, Patricia and Larsen, Kim G. and Markey, Nicolas and Sankur, Ocan and Thrane, Claus", Address = "Berlin, Heidelberg", BookTitle = "Proceedings of the 22nd International Conference on Concurrency Theory", date-added = "2020-01-06 16:05:59 +0100", date-modified = "2020-01-06 16:05:59 +0100", ISBN = "9783642232169", Location = "Aachen, Germany", numpages = "16", Pages = "76--91", Publisher = "Springer-Verlag", Series = "CONCUR'11", Title = "Timed Automata Can Always Be Made Implementable", Year = "2011", File = "Timed Automata Can Always Be Made Implementable - BLMST-concur11 - a - a - a - s.pdf" }