@PhdThesis{       Stainer,
  Author        = "Stainer, Am{\'e}lie",
  date-added    = "2014-01-08 14:47:41 +0000",
  date-modified = "2014-01-08 14:48:08 +0000",
  Keywords      = "timed automata",
  Month         = "September",
  School        = "University of Rennes 1",
  Title         = "Contribution to the Verification of Timed Automata: Determinization, Quantitative Verification and Reachability in Networks of Automata",
  Year          = "2013",
  File          = "Contribution to the Verification of Timed Automata Determinization, Quantitative Verification and Reachability in Networks of Automata - Stainer (0) (0) - a - a - e.pdf"
}

@PhdThesis{ Stainer, Author = "Stainer, Am{\'e}lie", date-added = "2014-01-08 14:47:41 +0000", date-modified = "2014-01-08 14:48:08 +0000", Keywords = "timed automata", Month = "September", School = "University of Rennes 1", Title = "Contribution to the Verification of Timed Automata: Determinization, Quantitative Verification and Reachability in Networks of Automata", Year = "2013", File = "Contribution to the Verification of Timed Automata Determinization, Quantitative Verification and Reachability in Networks of Automata - Stainer (0) (0) - a - a - e.pdf" }