@TechReport{      MottetQuaas:URA-UTA,
  Author        = "Mottet, Antoine and Quaas, Karin",
  date-added    = "2020-08-11 11:54:22 +0200",
  date-modified = "2020-08-11 11:54:43 +0200",
  Title         = "The Containment Problem for Unambiguous Register Automata and Unambiguous Timed Automata",
  File          = "The Containment Problem for Unambiguous Register Automata and Unambiguous Timed Automata - URA - a - g.pdf"
}

@TechReport{ MottetQuaas:URA-UTA, Author = "Mottet, Antoine and Quaas, Karin", date-added = "2020-08-11 11:54:22 +0200", date-modified = "2020-08-11 11:54:43 +0200", Title = "The Containment Problem for Unambiguous Register Automata and Unambiguous Timed Automata", File = "The Containment Problem for Unambiguous Register Automata and Unambiguous Timed Automata - URA - a - g.pdf" }