Automata-Theoretic Approach to Verification of MPLS Networks Under Link Failures.

Ingo van Duijn Peter Gjøl Jensen Jesper Stenbjerg Jensen Troels Beck Krøgh Jonas Sand Madsen Stefan Schmid Jirí Srba Marc Tom Thorgersen

Published in: IEEE/ACM Trans. Netw. (2022)