1 files changed, 21 insertions, 0 deletions
diff --git a/doc/prez/research.bib b/doc/prez/research.bib
new file mode 100644
index 0000000..95acb0c
--- /dev/null
+++ b/doc/prez/research.bib
@@ -0,0 +1,21 @@
+
+ @INPROCEEDINGS{halbwachs94c,
+   AUTHOR={N. Halbwachs},
+   TITLE={About synchronous programming and abstract interpretation},
+   BOOKTITLE={International Symposium on Static Analysis, SAS'94},
+   EDITOR = {B. {LeCharlier}},
+   PUBLISHER = {LNCS 864, Springer Verlag},
+   ADDRESS = {Namur (belgium)},
+   MONTH = {September},
+   YEAR= 1994
+}
+@ARTICLE{lesartse,
+    AUTHOR = {N. Halbwachs and F. Lagnier and C. Ratel },
+    TITLE = {Programming and verifying real-time systems by means of 
+             the synchronous data-flow programming language Lustre},
+    JOURNAL = {IEEE Transactions on Software Engineering, 
+               Special Issue on the Specification and Analysis 
+               of Real-Time Systems},
+    MONTH={September },
+    YEAR=1992
+}