@Unpublished{     DelzannoSangnierZavattaro,
  Author        = "Delzanno, Giorgio and Sangnier, Arnaud and Zavattaro, Gianluigi",
  date-added    = "2012-12-16 17:29:04 +0000",
  date-modified = "2012-12-18 12:47:53 +0000",
  Keywords      = "Ad Hoc networks and readme",
  Title         = "Verification of Unreliable Ad Hoc Networks",
  File          = "Verification of Unreliable Ad Hoc Networks - Delzanno, Sangnier, Zavattaro (0) (0) - a - a - h.pdf"
}

@Unpublished{ DelzannoSangnierZavattaro, Author = "Delzanno, Giorgio and Sangnier, Arnaud and Zavattaro, Gianluigi", date-added = "2012-12-16 17:29:04 +0000", date-modified = "2012-12-18 12:47:53 +0000", Keywords = "Ad Hoc networks and readme", Title = "Verification of Unreliable Ad Hoc Networks", File = "Verification of Unreliable Ad Hoc Networks - Delzanno, Sangnier, Zavattaro (0) (0) - a - a - h.pdf" }