P-Rex: fast verification of MPLS networks with multiple link failures.

Jesper Stenbjerg Jensen, Troels Beck Krgh, Jonas Sand Madsen, Stefan Schmid, Jir Srba, Marc Tom Thorgersen

Browse the full CoNEXT paper archive.