diff options
Diffstat (limited to 'Assignment2/report/library.bib')
| -rw-r--r-- | Assignment2/report/library.bib | 28 |
1 files changed, 27 insertions, 1 deletions
diff --git a/Assignment2/report/library.bib b/Assignment2/report/library.bib index db8f78c..a310e1e 100644 --- a/Assignment2/report/library.bib +++ b/Assignment2/report/library.bib @@ -42,7 +42,7 @@ @inproceedings{Z3, title={Z3: An Efficient SMT Solver}, - author={{de Moura}, Leonardo and Bj{\o}rner, Nikolaj}, + 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}, @@ -52,3 +52,29 @@ address={Berlin, Heidelberg}, year=2008 } + +@inproceedings{DeVries2007, + title={Uniqueness Typing Redefined}, + author={{De Vries}, Edsko and Plasmeijer, Rinus and Abrahamson, David R.}, + booktitle={Proceedings of the 18th International Symposium on Implementation and Application of Functional Languages, IFL '06}, + editor={Horv\'{a}th, Z. and Zs\'{o}k, V.}, + pages={181--198}, + series={Lecture Notes in Computer Science}, + number=4449, + publisher={Springer}, + address={Berlin, Heidelberg}, + year=2007 +} + +@inproceedings{Dehnert2015, + title={\texttt{PROPhESY}: A PRObabilistic ParamEter SYnthesis Tool}, + author={Dehnert, Christian and Junges, Sebastian and Jansen, Nils and Corzilius, Florian and Volk, Matthias and Bruintjes, Harold and Katoen, Joost-Pieter and \'{A}brah\'{a}m, Erika}, + booktitle={Computer Aided Verification. CAV 2015}, + editor={Kroening, D. and P\v{a}s\v{a}reanu, C.}, + pages={181--198}, + series={Lecture Notes in Computer Science}, + number=9206, + publisher={Springer}, + address={Cham}, + year=2015 +} |