%0 Conference Paper %1 conf/icnp/Al-ShaerMEE09 %A Al-Shaer, Ehab %A Marrero, Wilfredo %A El-Atawy, Adel %A Elbadawi, Khalid %B ICNP %D 2009 %E Schulzrinne, Henning %E Ramakrishnan, K. K. %E Griffin, Timothy G. %E Krishnamurthy, Srikanth V. %I IEEE Computer Society %K dblp %P 123-132 %T Network Configuration in A Box: Towards End-to-End Verification of Network Reachability and Security. %U http://dblp.uni-trier.de/db/conf/icnp/icnp2009.html#Al-ShaerMEE09 %@ 978-1-4244-4634-6

@inproceedings{conf/icnp/Al-ShaerMEE09, added-at = {2023-03-24T00:00:00.000+0100}, author = {Al-Shaer, Ehab and Marrero, Wilfredo and El-Atawy, Adel and Elbadawi, Khalid}, biburl = {https://www.bibsonomy.org/bibtex/23ba55cf3b3033f1392d94ff003c5272c/dblp}, booktitle = {ICNP}, crossref = {conf/icnp/2009}, editor = {Schulzrinne, Henning and Ramakrishnan, K. K. and Griffin, Timothy G. and Krishnamurthy, Srikanth V.}, ee = {https://doi.ieeecomputersociety.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 = {2024-04-10T03:38:22.000+0200}, 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 }