A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification.

Alex Horn, Ali Kheradmand, Mukul R. Prasad

Browse the full ICNP paper archive.