Continue introduction

1 files changed, 26 insertions, 0 deletions

diff --git a/Assignment2/report/library.bib b/Assignment2/report/library.bib
index dab46d6..db8f78c 100644
--- a/Assignment2/report/library.bib
+++ b/Assignment2/report/library.bib
@@ -26,3 +26,29 @@
 	publisher={Academic Press},
 	year=1976
 }
+
+@inproceedings{Storm,
+	title={A Storm is Coming: A Modern Probabilistic Model Checker},
+	author={Dehnert, Christian and Junges, Sebastian and Katoen, Joost-Pieter and Volk, Matthias},
+	booktitle={Computer Aided Verification. CAV 2017},
+	editor={Majumdar, R. and Kun\v{c}ak, V.},
+	pages={592--600},
+	series={Lecture Notes in Computer Science},
+	number=10427,
+	publisher={Springer},
+	address={Cham},
+	year=2017
+}
+
+@inproceedings{Z3,
+	title={Z3: An Efficient SMT Solver},
+	author={{de Moura}, Leonardo and Bj{\o}rner, Nikolaj},
+	booktitle={Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2008},
+	editor={Ramakrishnan, C. R. and Rehof, J.},
+	pages={337--340},
+	series={Lecture Notes in Computer Science},
+	number=4963,
+	publisher={Springer},
+	address={Berlin, Heidelberg},
+	year=2008
+}