diff options
| author | Carlo Zancanaro <carlo@pc-4w14-0.cs.usyd.edu.au> | 2012-05-18 02:37:32 +1000 |
|---|---|---|
| committer | Carlo Zancanaro <carlo@pc-4w14-0.cs.usyd.edu.au> | 2012-05-18 02:37:32 +1000 |
| commit | 671e3c537af3245f1df64b8b8e324e2db53301a2 (patch) | |
| tree | 7f35bd845e2c5f31095e1b409c8dde18c4c3536c /tex/lit-review/references.bib | |
| parent | 95bbe24432182c384d6a2e8f7f5a26d7899f3acb (diff) | |
| parent | a749cd8c47d100e6c828dfc20355af861ddcd407 (diff) | |
Merge branch 'master' of bitbucket.org:czan/honours into HEAD
Conflicts:
tex/lit-review/main.tex
Diffstat (limited to 'tex/lit-review/references.bib')
| -rw-r--r-- | tex/lit-review/references.bib | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/tex/lit-review/references.bib b/tex/lit-review/references.bib index c21a7b8..d3a257b 100644 --- a/tex/lit-review/references.bib +++ b/tex/lit-review/references.bib @@ -56,3 +56,29 @@ crossref = {DBLP:conf/vmcai/2005}, bibsource = {DBLP, http://dblp.uni-trier.de} } +@inproceedings{Dor:2001:CCS:647170.718291, + author = {Dor, Nurit and Rodeh, Michael and Sagiv, Shmuel}, + title = {Cleanness Checking of String Manipulations in C Programs via + Integer Analysis}, + booktitle = {Proceedings of the 8th International Symposium on Static + Analysis}, + series = {SAS '01}, + year = {2001}, + isbn = {3-540-42314-1}, + pages = {194--212}, + numpages = {19}, + url = {http://dl.acm.org/citation.cfm?id=647170.718291}, + acmid = {718291}, + publisher = {Springer-Verlag}, + address = {London, UK, UK}, +} +@INPROCEEDINGS{Yovine98modelchecking, + author = {Sergio Yovine}, + title = {Model checking timed automata}, + booktitle = {In European Educational Forum: School on Embedded + Systems}, + year = {1998}, + pages = {114--152}, + publisher = {Springer-Verlag} +} + |