A reduction-based approach towards scaling up formal analysis of internet configurations

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]

Abstract

Abstract is missing.