Anduo Wang, Alexander J. T. Gurney, Xianglong Han, Jinyan Cao, Boon Thau Loo, Carolyn L. Talcott, Andre Scedrov. A reduction-based approach towards scaling up formal analysis of internet configurations. In 2014 IEEE Conference on Computer Communikations, INFOCOM 2014, Toronto, Canada, April 27 - May 2, 2014. pages 637-645, IEEE, 2014. [doi]
@inproceedings{WangGHCLTS14,
title = {A reduction-based approach towards scaling up formal analysis of internet configurations},
author = {Anduo Wang and Alexander J. T. Gurney and Xianglong Han and Jinyan Cao and Boon Thau Loo and Carolyn L. Talcott and Andre Scedrov},
year = {2014},
doi = {10.1109/INFOCOM.2014.6847989},
url = {http://dx.doi.org/10.1109/INFOCOM.2014.6847989},
researchr = {https://researchr.org/publication/WangGHCLTS14},
cites = {0},
citedby = {0},
pages = {637-645},
booktitle = {2014 IEEE Conference on Computer Communikations, INFOCOM 2014, Toronto, Canada, April 27 - May 2, 2014},
publisher = {IEEE},
isbn = {978-14799-3360-0},
}