diff options
author | Camil Staps | 2018-07-05 22:06:26 +0200 |
---|---|---|
committer | Camil Staps | 2018-07-05 22:06:26 +0200 |
commit | 1e43b9f759cd6435415b04761b3291bc72b7f517 (patch) | |
tree | e40e921c04fb614987370289f14f186b2720e5ac /Assignment2/report/library.bib | |
parent | Add printDTMC (diff) |
Continue introduction
Diffstat (limited to 'Assignment2/report/library.bib')
-rw-r--r-- | Assignment2/report/library.bib | 26 |
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 +} |