Bootstrap report

1 files changed, 28 insertions, 0 deletions

diff --git a/Assignment2/report/library.bib b/Assignment2/report/library.bib
new file mode 100644
index 0000000..36ef4c2
--- /dev/null
+++ b/Assignment2/report/library.bib
@@ -0,0 +1,28 @@
+@book{BK,
+	title={Principles of Model Checking},
+	author={Baier, Christel and Katoen, Joost-Pieter},
+	publisher={The MIT Press},
+	address={Cambridge, Massachusetts and London, England},
+	year=2008
+}
+
+@article{Bartocci2011,
+	title={Model Repair for Probabilistic Systems},
+	author={Bartocci, Ezio and Grosu, Radu and Katsaros, Panagiotis and Ramakrishnan, C. R. and Smolka, Scott A.},
+	booktitle={Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2011},
+	editor={Abdulla, P. A. and Leino, K. R. M.},
+	series={Lecture Notes in Computer Science},
+	number=6605,
+	publisher={Springer},
+	address={Berlin and Heidelberg},
+	year=2011,
+	pages={326--340}
+}
+
+@inbook{KY76,
+	author={Knuth, Donald E. and Yao, Andrew C.},
+	title={Algorithms and Complexity: New Directions and Recent Results},
+	chapter={The complexity of nonuniform random number generation},
+	publisher={Academic Press},
+	year=1976
+}