@inproceedings{conf/icnp/Al-ShaerMEE09,
  added-at = {2010-01-20T00:00:00.000+0100},
  author = {Al-Shaer, Ehab and Marrero, Wilfredo and El-Atawy, Adel and Elbadawi, Khalid},
  biburl = {http://www.bibsonomy.org/bibtex/23ba55cf3b3033f1392d94ff003c5272c/dblp},
  booktitle = {ICNP},
  crossref = {conf/icnp/2009},
  date = {2010-01-20},
  description = {dblp},
  editor = {Schulzrinne, Henning and Ramakrishnan, K. K. and Griffin, Timothy G. and Krishnamurthy, Srikanth V.},
  ee = {http://dx.doi.org/10.1109/ICNP.2009.5339690},
  interhash = {cba912b78e26279bed35fd8c6fa7a7d0},
  intrahash = {3ba55cf3b3033f1392d94ff003c5272c},
  isbn = {978-1-4244-4634-6},
  keywords = {dblp},
  pages = {123-132},
  publisher = {IEEE Computer Society},
  timestamp = {2010-01-20T00:00:00.000+0100},
  title = {Network Configuration in A Box: Towards End-to-End Verification of Network Reachability and Security.},
  url = {http://dblp.uni-trier.de/db/conf/icnp/icnp2009.html#Al-ShaerMEE09},
  year = 2009
}