%0 Conference Paper %1 conf/infocom/WangGHCLTS14 %A Wang, Anduo %A Gurney, Alexander J. T. %A Han, Xianglong %A Cao, Jinyan %A Loo, Boon Thau %A Talcott, Carolyn L. %A Scedrov, Andre %B INFOCOM %D 2014 %I IEEE %K dblp %P 637-645 %T A reduction-based approach towards scaling up formal analysis of internet configurations. %U http://dblp.uni-trier.de/db/conf/infocom/infocom2014.html#WangGHCLTS14 %@ 978-14799-3360-0

@inproceedings{conf/infocom/WangGHCLTS14, added-at = {2023-02-12T00:00:00.000+0100}, author = {Wang, Anduo and Gurney, Alexander J. T. and Han, Xianglong and Cao, Jinyan and Loo, Boon Thau and Talcott, Carolyn L. and Scedrov, Andre}, biburl = {https://www.bibsonomy.org/bibtex/2c94790b3d2921960f0016959ef1e916e/dblp}, booktitle = {INFOCOM}, crossref = {conf/infocom/2014}, ee = {https://doi.org/10.1109/INFOCOM.2014.6847989}, interhash = {8d2f1733b14de1a6bf1a3d17353597df}, intrahash = {c94790b3d2921960f0016959ef1e916e}, isbn = {978-14799-3360-0}, keywords = {dblp}, pages = {637-645}, publisher = {IEEE}, timestamp = {2024-04-10T21:41:45.000+0200}, title = {A reduction-based approach towards scaling up formal analysis of internet configurations.}, url = {http://dblp.uni-trier.de/db/conf/infocom/infocom2014.html#WangGHCLTS14}, year = 2014 }