1 files changed, 20 insertions, 0 deletions
diff --git a/Assignment1/library.bib b/Assignment1/library.bib
index 7b74626..9bfb613 100755
--- a/Assignment1/library.bib
+++ b/Assignment1/library.bib
@@ -141,3 +141,23 @@
 	year      = 2001,
 	pages     = {291--314}
 }
+
+@techreport{Latvala2002,
+	address     = {Espoo, Finland},
+	author      = {Latvala, Timo},
+	institution = {Helsinki University of Technology, Laboratory for Theoretical Computer Science},
+	month       = {December},
+	number      = {A76},
+	title       = {On Model Checking Safety Properties},
+	type        = {Research Report},
+	year        = {2002}
+}
+
+@inproceedings{Latvala2003,
+	author    = {Latvala, Timo},
+	title     = {Efficient Model Checking of Safety Properties},
+	booktitle = {Model Checking Software. SPIN 2003},
+	editor    = {Ball, Thomas and Rajamani, Sriram K.},
+	year      = 2003,
+	pages     = {74--88}
+}