1 files changed, 7 insertions, 0 deletions
diff --git a/Assignment1/library.bib b/Assignment1/library.bib
index d9f35e4..db19903 100755
--- a/Assignment1/library.bib
+++ b/Assignment1/library.bib
@@ -61,3 +61,10 @@
   year      = {1957},
   publisher = {Clarendon Press},
 }
+
+@inproceedings{FiterauBrostean2017,
+	author={Fiterau-Brostean, Paul and Lenaerts, Toon and Poll, Erik and De Ruiter, Joeri and Vaandrager, Frits and Verleg, Patrick},
+	title={Model Learning and Model Checking of SSH Implementations},
+	booktitle={Proceedings 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 13--14 July 2017, Santa Barbara, USA},
+	pages={142--151}
+}