@InProceedings{   Bartoletti:2018aa,
  Author        = "Bartoletti, Massimo and Bocchi, Laura and Murgia, Maurizio",
  BookTitle     = "Proc. of CONCUR'18",
  date-added    = "2018-07-07 15:41:36 +0000",
  date-modified = "2018-07-07 15:43:58 +0000",
  Keywords      = "citesme!",
  Title         = "Progress-preserving Refinements of CTA",
  Year          = "2018",
  File          = "main\_single (0) - a - a - s.pdf"
}

@InProceedings{ Bartoletti:2018aa, Author = "Bartoletti, Massimo and Bocchi, Laura and Murgia, Maurizio", BookTitle = "Proc. of CONCUR'18", date-added = "2018-07-07 15:41:36 +0000", date-modified = "2018-07-07 15:43:58 +0000", Keywords = "citesme!", Title = "Progress-preserving Refinements of CTA", Year = "2018", File = "main_single (0) - a - a - s.pdf" }