summaryrefslogtreecommitdiff
path: root/Assignment2/report/library.bib
diff options
context:
space:
mode:
authorCamil Staps2018-07-04 12:35:24 +0200
committerCamil Staps2018-07-04 12:35:24 +0200
commitbedf22bec1d760841c4a57ea9d60572b50dc751e (patch)
treeedaadf493c8ffe42bb78607048b3f3cff98ec4dd /Assignment2/report/library.bib
parentAdd properties and simple program with stormpy bindings (diff)
Bootstrap report
Diffstat (limited to 'Assignment2/report/library.bib')
-rw-r--r--Assignment2/report/library.bib28
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
+}