summaryrefslogtreecommitdiff
path: root/Assignment2/report/library.bib
diff options
context:
space:
mode:
authorCamil Staps2018-07-05 22:06:26 +0200
committerCamil Staps2018-07-05 22:06:26 +0200
commit1e43b9f759cd6435415b04761b3291bc72b7f517 (patch)
treee40e921c04fb614987370289f14f186b2720e5ac /Assignment2/report/library.bib
parentAdd printDTMC (diff)
Continue introduction
Diffstat (limited to 'Assignment2/report/library.bib')
-rw-r--r--Assignment2/report/library.bib26
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
+}