NetQuery: A Knowledge Plane for Reasoning about Network Properties Alan Shieh, Emin Gün Sirer, Fred B. Schneider Department of Computer Science Cornell.
