From a749cd8c47d100e6c828dfc20355af861ddcd407 Mon Sep 17 00:00:00 2001
From: Carlo Zancanaro <carlo@carlo-laptop>
Date: Fri, 18 May 2012 02:31:18 +1000
Subject: Some more lit review stuff.

---
 tex/lit-review/references.bib | 26 ++++++++++++++++++++++++++
 1 file changed, 26 insertions(+)

(limited to 'tex/lit-review/references.bib')

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}
+}
+
-- 
cgit v1.2.3