1. {n. d.}. Red Hat Customer Portal. https://access.redhat.com/solutions/53031. ({n. d.}). Accessed: 2018-03-20. {n. d.}. Red Hat Customer Portal. https://access.redhat.com/solutions/53031. ({n. d.}). Accessed: 2018-03-20.
2. A General Approach to Network Configuration Verification
3. Seyed K. Fayaz Tushar Sharma Ari Fogel Ratul Mahajan Todd Millstein Vyas Sekar and George Varghese. 2016. Efficient Network Reachability Analysis Using a Succinct Control Plane Representation. In OSDI 16. GA 217--232. Seyed K. Fayaz Tushar Sharma Ari Fogel Ratul Mahajan Todd Millstein Vyas Sekar and George Varghese. 2016. Efficient Network Reachability Analysis Using a Succinct Control Plane Representation. In OSDI 16. GA 217--232.