Temporal Logic-based reasoning about iBGP multipath dissemination.

Feng Wang

Browse the full GLOBECOM paper archive.