Evangelos Bampas, Davide Bilò, Guido Drovandi, Luciano Gualà , Ralf Klasing, Guido Proietti. Network Verification via Routing Table Queries. In Adrian Kosowski, Masafumi Yamashita, editors, Structural Information and Communication Complexity - 18th International Colloquium, SIROCCO 2011, Gdansk, Poland, June 26-29, 2011. Proceedings. Volume 6796 of Lecture Notes in Computer Science, pages 270-281, Springer, 2011. [doi]
Abstract is missing.