@INPROCEEDINGS{conext18,
  author = {Jesper Stenbjerg Jensen and Troels Beck Krogh and Jonas Sand Madsen
  and Stefan Schmid and Jiri Srba and Marc Tom Thorgersen},
  title = {P-Rex: Fast Verification of MPLS Networks with Multiple Link Failures},
  booktitle = {14th ACM International Conference on emerging Networking EXperiments and Technologies (CoNEXT)},
  year = {2018},
}