@PhdThesis{       Sundararaman:2010aa,
  Author        = "Sundararaman, Akshay",
  date-added    = "2018-03-13 09:50:15 +0000",
  date-modified = "2018-03-13 09:50:30 +0000",
  Title         = "Specification and Verification for Distributed and Timed Systems",
  Year          = "2010",
  File          = "10.1.1.396.8681 (0) - a - a - t.pdf"
}

@PhdThesis{ Sundararaman:2010aa, Author = "Sundararaman, Akshay", date-added = "2018-03-13 09:50:15 +0000", date-modified = "2018-03-13 09:50:30 +0000", Title = "Specification and Verification for Distributed and Timed Systems", Year = "2010", File = "10.1.1.396.8681 (0) - a - a - t.pdf" }