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

Browse the full INFOCOM paper archive.