@MastersThesis{   ClementeMS,
  Author        = "Clemente, Lorenzo",
  date-added    = "2014-01-13 08:49:55 +0000",
  date-modified = "2014-01-13 11:16:35 +0000",
  School        = "UNIVERSIT{\`A} DEGLI STUDI DI ROMA ``TOR VERGATA''",
  Title         = "Algorithms and Tools for the Formal Verification of Concurrent Systems",
  Year          = "2007",
  File          = "Algorithms and Tools for the Formal Verification of Concurrent Systems - Clemente (0) (0) - a - a - z.pdf"
}

@MastersThesis{ ClementeMS, Author = "Clemente, Lorenzo", date-added = "2014-01-13 08:49:55 +0000", date-modified = "2014-01-13 11:16:35 +0000", School = "UNIVERSIT{`A} DEGLI STUDI DI ROMA ``TOR VERGATA''", Title = "Algorithms and Tools for the Formal Verification of Concurrent Systems", Year = "2007", File = "Algorithms and Tools for the Formal Verification of Concurrent Systems - Clemente (0) (0) - a - a - z.pdf" }