@PhdThesis{       Sproston,
  Author        = "Sproston, Jeremy",
  date-added    = "2012-12-18 15:54:12 +0000",
  date-modified = "2012-12-18 15:56:06 +0000",
  Keywords      = "timed automata and probabilistic automata",
  School        = "University of Birmingham",
  Title         = "Model Checking of Probabilistic Timed and Hybrid Systems",
  Year          = "2000",
  File          = "Model Checking of Probabilistic Timed and Hybrid Systems - Sproston (0) (0) - a - a - q.pdf",
  file-2        = "Model Checking of Probabilistic Timed and Hybrid Systems - Sproston (0) (0) - a - a - q.ps"
}

@PhdThesis{ Sproston, Author = "Sproston, Jeremy", date-added = "2012-12-18 15:54:12 +0000", date-modified = "2012-12-18 15:56:06 +0000", Keywords = "timed automata and probabilistic automata", School = "University of Birmingham", Title = "Model Checking of Probabilistic Timed and Hybrid Systems", Year = "2000", File = "Model Checking of Probabilistic Timed and Hybrid Systems - Sproston (0) (0) - a - a - q.pdf", file-2 = "Model Checking of Probabilistic Timed and Hybrid Systems - Sproston (0) (0) - a - a - q.ps" }