Update README.md

MuLx10 · Nov 17, 2020 · 1fcb5f0 · 1fcb5f0
1 parent 5f1caf6
commit 1fcb5f0
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -1,5 +1,7 @@
 # VeriFlow
 
+[VeriFlow: Verifying Network-Wide Invariants in Real Time](https://www.usenix.org/system/files/conference/nsdi13/nsdi13-final100.pdf)
+
 ## Requirements
   - Python 3