@PhdThesis{       Neykova:2017aa,
  Author        = "Neykova, Rumyana",
  date-added    = "2018-03-13 09:58:25 +0000",
  date-modified = "2018-03-13 09:58:55 +0000",
  School        = "Computing of Imperial College London",
  Title         = "Multiparty Session Types for Dynamic Verification of Distributed Systems",
  Year          = "2017",
  File          = "Neykova-R-2017-PhD-Thesis (0) - a - a - u.pdf"
}

@PhdThesis{ Neykova:2017aa, Author = "Neykova, Rumyana", date-added = "2018-03-13 09:58:25 +0000", date-modified = "2018-03-13 09:58:55 +0000", School = "Computing of Imperial College London", Title = "Multiparty Session Types for Dynamic Verification of Distributed Systems", Year = "2017", File = "Neykova-R-2017-PhD-Thesis (0) - a - a - u.pdf" }