@InProceedings{   Niebert00minimum-timereachability,
  Author        = "Niebert, Peter and Tripakis, Stavros and Yovine, Sergio",
  BookTitle     = "IEEE Mediteranean Control Conference",
  date-added    = "2019-02-22 08:47:22 +0100",
  date-modified = "2019-02-22 08:47:42 +0100",
  Keywords      = "timed automata and readme",
  Title         = "Minimum-Time Reachability for Timed Automata",
  Year          = "2000",
  File          = "minimum (0) - a - a - v.pdf",
  file-2        = "min-time-reach (0) - a - a - v.ps"
}

@InProceedings{ Niebert00minimum-timereachability, Author = "Niebert, Peter and Tripakis, Stavros and Yovine, Sergio", BookTitle = "IEEE Mediteranean Control Conference", date-added = "2019-02-22 08:47:22 +0100", date-modified = "2019-02-22 08:47:42 +0100", Keywords = "timed automata and readme", Title = "Minimum-Time Reachability for Timed Automata", Year = "2000", File = "minimum (0) - a - a - v.pdf", file-2 = "min-time-reach (0) - a - a - v.ps" }