@TechReport{      Fribourg:1998,
  Author        = "Fribourg, Laurent",
  date-added    = "2013-06-20 09:25:27 +0000",
  date-modified = "2019-08-17 17:54:01 +0200",
  Institution   = "CNRS \& ECOLE NORMALE SUPERIEURE DE CACHAN",
  Keywords      = "timed automata",
  Title         = "A Closed-Form Evaluation for Extended Timed Automata",
  Year          = "1998",
  File          = "A Closed-Form Evaluation for Extended Timed Automata - Fribourg (1) (0) - a - a - a.pdf"
}

@TechReport{ Fribourg:1998, Author = "Fribourg, Laurent", date-added = "2013-06-20 09:25:27 +0000", date-modified = "2019-08-17 17:54:01 +0200", Institution = "CNRS \& ECOLE NORMALE SUPERIEURE DE CACHAN", Keywords = "timed automata", Title = "A Closed-Form Evaluation for Extended Timed Automata", Year = "1998", File = "A Closed-Form Evaluation for Extended Timed Automata - Fribourg (1) (0) - a - a - a.pdf" }