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

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Anduo Wang' in GoogleThis author has not been identified. Look up 'Alexander J. T. Gurney' in GoogleThis author has not been identified. Look up 'Xianglong Han' in GoogleThis author has not been identified. Look up 'Jinyan Cao' in GoogleThis author has not been identified. Look up 'Boon Thau Loo' in GoogleThis author has not been identified. Look up 'Carolyn L. Talcott' in GoogleThis author has not been identified. Look up 'Andre Scedrov' in Google

runs on WebDSL