@Article{         FranzleQuaasShirmohammadiWorrell:2019,
  Author        = {Fr{\"a}nzle, Martin and Quaas, Karin and Shirmohammadi, Mahsa and Worrell, James},
  Abstract      = "We give a new proof of the result of Comon and Jurski that the binary reachability relation of a timed automaton is definable in linear arithmetic.",
  date-added    = "2019-04-04 08:39:29 +0200",
  date-modified = "2019-04-04 08:39:29 +0200",
  EPrint        = "1903.09773",
  Month         = "03",
  Title         = "Effective Definability of the Reachability Relation in Timed Automata",
  URL           = "https://arxiv.org/pdf/1903.09773",
  Year          = "2019",
  bdsk-url-1    = "https://arxiv.org/pdf/1903.09773",
  bdsk-url-2    = "https://arxiv.org/abs/1903.09773",
  File          = "Effective Definability of the Reachability Relation in Timed Automata - a - a - b.pdf"
}

@Article{ FranzleQuaasShirmohammadiWorrell:2019, Author = {Fr{\"a}nzle, Martin and Quaas, Karin and Shirmohammadi, Mahsa and Worrell, James}, Abstract = "We give a new proof of the result of Comon and Jurski that the binary reachability relation of a timed automaton is definable in linear arithmetic.", date-added = "2019-04-04 08:39:29 +0200", date-modified = "2019-04-04 08:39:29 +0200", EPrint = "1903.09773", Month = "03", Title = "Effective Definability of the Reachability Relation in Timed Automata", URL = "https://arxiv.org/pdf/1903.09773", Year = "2019", bdsk-url-1 = "https://arxiv.org/pdf/1903.09773", bdsk-url-2 = "https://arxiv.org/abs/1903.09773", File = "Effective Definability of the Reachability Relation in Timed Automata - a - a - b.pdf" }