@PhdThesis{       Aiswarya,
  Author        = "Aiswarya, C.",
  date-added    = "2014-09-02 14:22:35 +0000",
  date-modified = "2014-09-02 14:22:47 +0000",
  School        = "ENS Cachan",
  Title         = "Verification of Communicating Recursive Programs via Split-width",
  Year          = "2014",
  File          = "Verification of Communicating Recursive Programs via Split-width - Aiswarya (0) (0) - a - a - v.pdf"
}

@PhdThesis{ Aiswarya, Author = "Aiswarya, C.", date-added = "2014-09-02 14:22:35 +0000", date-modified = "2014-09-02 14:22:47 +0000", School = "ENS Cachan", Title = "Verification of Communicating Recursive Programs via Split-width", Year = "2014", File = "Verification of Communicating Recursive Programs via Split-width - Aiswarya (0) (0) - a - a - v.pdf" }