NetQuery: a knowledge plane for reasoning about network properties.

Alan Shieh, Emin Gn Sirer, Fred B. Schneider

Browse the full CoNEXT paper archive.