%0 Conference Paper %1 conf/safeconfig/Al-ShaerA10 %A Al-Shaer, Ehab %A Al-Haj, Saeed %B SafeConfig %D 2010 %E Sager, Tony %E Ahn, Gail-Joon %E Kant, Krishna %E Lipford, Heather Richter %I ACM %K dblp %P 37-44 %T FlowChecker: configuration analysis and verification of federated openflow infrastructures. %U http://dblp.uni-trier.de/db/conf/safeconfig/safeconfig2010.html#Al-ShaerA10 %@ 978-1-4503-0093-3

@inproceedings{conf/safeconfig/Al-ShaerA10, added-at = {2018-11-06T00:00:00.000+0100}, author = {Al-Shaer, Ehab and Al-Haj, Saeed}, biburl = {https://www.bibsonomy.org/bibtex/2c3a1d8420079d9ac4d6a418b2c4990f3/dblp}, booktitle = {SafeConfig}, crossref = {conf/safeconfig/2010}, editor = {Sager, Tony and Ahn, Gail-Joon and Kant, Krishna and Lipford, Heather Richter}, ee = {https://doi.org/10.1145/1866898.1866905}, interhash = {5a61950373fa676dfdabf9b4d1a51a02}, intrahash = {c3a1d8420079d9ac4d6a418b2c4990f3}, isbn = {978-1-4503-0093-3}, keywords = {dblp}, pages = {37-44}, publisher = {ACM}, timestamp = {2020-02-14T11:44:23.000+0100}, title = {FlowChecker: configuration analysis and verification of federated openflow infrastructures.}, url = {http://dblp.uni-trier.de/db/conf/safeconfig/safeconfig2010.html#Al-ShaerA10}, year = 2010 }