@PhdThesis{       Srivathsan,
  Author        = "Srivathsan, B",
  date-added    = "2012-11-01 17:16:36 +0000",
  date-modified = "2012-11-01 17:16:48 +0000",
  School        = "LaBRI",
  Title         = "Abstractions for timed automata",
  Year          = "2012",
  File          = "Abstractions for timed automata - Srivathsan (0) (0) - a - a - t.pdf",
  file-2        = "Abstractions for timed automata - Srivathsan (1) (0) - a - a - t.pdf"
}

@PhdThesis{ Srivathsan, Author = "Srivathsan, B", date-added = "2012-11-01 17:16:36 +0000", date-modified = "2012-11-01 17:16:48 +0000", School = "LaBRI", Title = "Abstractions for timed automata", Year = "2012", File = "Abstractions for timed automata - Srivathsan (0) (0) - a - a - t.pdf", file-2 = "Abstractions for timed automata - Srivathsan (1) (0) - a - a - t.pdf" }