%0 Conference Paper %1 conf/sigcomm/BeckettGMW17 %A Beckett, Ryan %A Gupta, Aarti %A Mahajan, Ratul %A Walker, David %B SIGCOMM %D 2017 %I ACM %K dblp %P 155-168 %T A General Approach to Network Configuration Verification. %U http://dblp.uni-trier.de/db/conf/sigcomm/sigcomm2017.html#BeckettGMW17 %@ 978-1-4503-4653-5

@inproceedings{conf/sigcomm/BeckettGMW17, added-at = {2024-04-08T00:00:00.000+0200}, author = {Beckett, Ryan and Gupta, Aarti and Mahajan, Ratul and Walker, David}, biburl = {https://www.bibsonomy.org/bibtex/280ebe5a445b328d2e4b9dff02d476e43/dblp}, booktitle = {SIGCOMM}, crossref = {conf/sigcomm/2017}, ee = {https://doi.org/10.1145/3098822.3098834}, interhash = {e76cb7b09831fee0b506125f7ab46fb1}, intrahash = {80ebe5a445b328d2e4b9dff02d476e43}, isbn = {978-1-4503-4653-5}, keywords = {dblp}, pages = {155-168}, publisher = {ACM}, timestamp = {2024-04-12T14:46:18.000+0200}, title = {A General Approach to Network Configuration Verification.}, url = {http://dblp.uni-trier.de/db/conf/sigcomm/sigcomm2017.html#BeckettGMW17}, year = 2017 }