@InProceedings{   AlurCourcoubetisHenzingerHo:HS:1993,
  Author        = "Alur, Rajeev and Courcoubetis, Costas and Henzinger, Thomas A. and Ho, Pei-Hsin",
  Address       = "Berlin, Heidelberg",
  BookTitle     = "Hybrid Systems",
  date-added    = "2021-04-29 11:02:57 +0200",
  date-modified = "2021-04-29 11:03:26 +0200",
  ISBN          = "3540573186",
  numpages      = "21",
  Pages         = "209--229",
  Publisher     = "Springer-Verlag",
  Title         = "Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems",
  Year          = "1993",
  File          = "AlurCourcoubetisHenzingerHo-HS-1993 - Alur1993\_Chapter\_HybridAutomataAnAlgorithmicApp - w.pdf",
  file-2        = "AlurCourcoubetisHenzingerHo-HS-1993 - 93-1343 - w.pdf"
}

@InProceedings{ AlurCourcoubetisHenzingerHo:HS:1993, Author = "Alur, Rajeev and Courcoubetis, Costas and Henzinger, Thomas A. and Ho, Pei-Hsin", Address = "Berlin, Heidelberg", BookTitle = "Hybrid Systems", date-added = "2021-04-29 11:02:57 +0200", date-modified = "2021-04-29 11:03:26 +0200", ISBN = "3540573186", numpages = "21", Pages = "209--229", Publisher = "Springer-Verlag", Title = "Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems", Year = "1993", File = "AlurCourcoubetisHenzingerHo-HS-1993 - Alur1993_Chapter_HybridAutomataAnAlgorithmicApp - w.pdf", file-2 = "AlurCourcoubetisHenzingerHo-HS-1993 - 93-1343 - w.pdf" }