P-Rex: fast verification of MPLS networks with multiple link failures. - Jesper Stenbjerg Jensen; Troels Beck Krøgh; Jonas Sand Madsen; Stefan Schmid 001; Jirí Srba; Marc Tom Thorgersen (CoNEXT, 2018)

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 001; Jirí Srba; Marc Tom Thorgersen (IEEE/ACM Trans. Netw., 2022)