diff options
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} +} + |