Alan Shieh, Emin Gün Sirer, Fred B. Schneider. NetQuery: a knowledge plane for reasoning about network properties. In Philip Brighten Godfrey, Chuanxiong Guo, Olaf Maennel, editors, Proceedings of the ACM CoNEXT Student Workshop, CoNEXT '10 Student Workshop, Philadelphia, Pennsylvania, USA, November 30, 2010. ACM, 2010. [doi]
Abstract is missing.