1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
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
}
|
