1 files changed, 9 insertions, 0 deletions
diff --git a/Assignment1/library.bib b/Assignment1/library.bib
index dc8247a..9a45e4a 100755
--- a/Assignment1/library.bib
+++ b/Assignment1/library.bib
@@ -66,5 +66,14 @@
 	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},
+	year      = 2017,
 	pages     = {142--151}
 }
+
+@inproceedings{Havelund2002,
+	author    = {Havelund, Klaus and Ro\c{s}u, Grigore},
+	title     = {Synthesizing Monitors for Safety Properties},
+	booktitle = {International Conference on Tools and Algorithms for the Contruction and Analysis of Systems, TACAS 2002},
+	year      = 2002,
+	pages     = {342--356}
+}