Policy-based verification method for configurations of large network with header-space analyses.

Toshio Tonouchi

Browse the full APNOMS paper archive.