|
Search the dblp DataBase
Christophe Ratel:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Nicolas Halbwachs, Pascal Raymond, Christophe Ratel
Generating Efficient Code From Data-Flow Programs. [Citation Graph (0, 0)][DBLP] PLILP, 1991, pp:207-218 [Conf]
- Nicolas Halbwachs, Fabienne Lagnier, Christophe Ratel
An Experience in Proving Regular Networks of Processes by Modular Model Checking. [Citation Graph (0, 0)][DBLP] Acta Inf., 1992, v:29, n:6/7, pp:523-543 [Journal]
- Nicolas Halbwachs, Fabienne Lagnier, Christophe Ratel
Programming and Verifying Real-Time Systems by Means of the Synchronous Data-Flow Language LUSTRE. [Citation Graph (0, 0)][DBLP] IEEE Trans. Software Eng., 1992, v:18, n:9, pp:785-793 [Journal]
Search in 0.001secs, Finished in 0.001secs
|