@InProceedings{   DBLP:conf/forte/AbdullaAR13,
  Author        = "Abdulla, Parosh Aziz and Atig, Mohamed Faouzi and Rezine, Othmane",
  bibsource     = "DBLP, http://dblp.uni-trier.de",
  BookTitle     = "FMOODS/FORTE",
  date-added    = "2013-11-12 09:53:07 +0000",
  date-modified = "2013-11-12 09:53:07 +0000",
  ee            = "http://dx.doi.org/10.1007/978-3-642-38592-6\_14",
  Pages         = "193-208",
  Title         = "Verification of Directed Acyclic Ad Hoc Networks",
  Year          = "2013",
  File          = "Verification of Directed Acyclic Ad Hoc Networks - Abdulla, Atig, Rezine (0) (0) - a - a - j.pdf"
}

@InProceedings{ DBLP:conf/forte/AbdullaAR13, Author = "Abdulla, Parosh Aziz and Atig, Mohamed Faouzi and Rezine, Othmane", bibsource = "DBLP, http://dblp.uni-trier.de", BookTitle = "FMOODS/FORTE", date-added = "2013-11-12 09:53:07 +0000", date-modified = "2013-11-12 09:53:07 +0000", ee = "http://dx.doi.org/10.1007/978-3-642-38592-6_14", Pages = "193-208", Title = "Verification of Directed Acyclic Ad Hoc Networks", Year = "2013", File = "Verification of Directed Acyclic Ad Hoc Networks - Abdulla, Atig, Rezine (0) (0) - a - a - j.pdf" }