@PhdThesis{       Mahata,
  Author        = "Mahata, Pritha",
  date-added    = "2015-04-27 14:03:40 +0000",
  date-modified = "2015-04-27 14:04:09 +0000",
  School        = "Uppsala University",
  Title         = "Model Checking Parameterized Timed Systems",
  Year          = "2005",
  File          = "Model Checking Parameterized Timed Systems - Mahata (0) (0) - a - a - x.pdf"
}

@PhdThesis{ Mahata, Author = "Mahata, Pritha", date-added = "2015-04-27 14:03:40 +0000", date-modified = "2015-04-27 14:04:09 +0000", School = "Uppsala University", Title = "Model Checking Parameterized Timed Systems", Year = "2005", File = "Model Checking Parameterized Timed Systems - Mahata (0) (0) - a - a - x.pdf" }