High Level Abstraction Modeling for Network Configuration Validation.

Khalid Elbadawi, James T. Yu

Browse the full GLOBECOM paper archive.