diff options
author | Camil Staps | 2018-07-04 12:35:24 +0200 |
---|---|---|
committer | Camil Staps | 2018-07-04 12:35:24 +0200 |
commit | bedf22bec1d760841c4a57ea9d60572b50dc751e (patch) | |
tree | edaadf493c8ffe42bb78607048b3f3cff98ec4dd /Assignment2/report/library.bib | |
parent | Add properties and simple program with stormpy bindings (diff) |
Bootstrap report
Diffstat (limited to 'Assignment2/report/library.bib')
-rw-r--r-- | Assignment2/report/library.bib | 28 |
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 +} |