removed P-Rex reference

Author: tfenz

_posts/2020-06-24-aalwines.md

@@ -89,7 +89,7 @@ The configurations are then put into a standardized, intermediate format which i
 The user can then define a query as described above, which leads the tool to prompt with a result 
 (e.g. a trace). AalWiNes is a joint work at Aalborg University and the University of Vienna.
 
-For MPLS specifically, we have developed the P-Rex tool [[1]](#references), recently reimplemented in C++.
+For MPLS specifically, we have developed the AalWiNes tool, implemented in C++.
 The tool allows to verify a wide range of important network properties in polynomial time, 
 parameterized by the $k$. 
 Here is a quick intro to our tool: 
@@ -128,7 +128,3 @@ Another interesting avenue for future research is
 the study of similar approaches for control plane verification
 or for supporting capacity planning, also taking into account
 resource constraints on failover paths. 
-
-## References
-
-\[1\] : P-Rex: Fast Verification of MPLS Networks with Multiple Link Failures. Jesper Stenbjerg Jensen, Troels Beck Krogh, Jonas Sand Madsen, Stefan Schmid, Jiri Srba, and Marc Tom Thorgersen. 14th ACM International Conference on emerging Networking EXperiments and Technologies (CoNEXT), Heraklion/Crete, Greece, December 2018.