Network Verification via Routing Table Queries.

Evangelos Bampas, Davide Bil, Guido Drovandi, Luciano Gual, Ralf Klasing, Guido Proietti

Browse the full SIROCCO paper archive.