1. On static reachability analysis of IP networks;Xie,2005
2. Analyzing end-to-end network reachability;Bandhakavi,2009
3. Static analysis of routing and firewall policy configurations;Sveda,2010
4. Quantifying and verifying reachability for access controlled networks;Liu;IEEE/ACM Trans Netw,2012
5. Network configuration in a box: towards end-to-end verification of network reachability and security;Al-Shaer,2009