Hamoudi Kalla, Jean-Pierre Talpin, David Berner, Loïc Besnard. Automated translation of C/C++ programs into a synchronous formalism. In Engineering of Computer Based Systems, IEEE Press, March 2006.
Hamoudi Kalla
Jean-Pierre Talpin
David Berner
Loic Besnard
@InProceedings{ecbs06,
Author = {Kalla, Hamoudi and Talpin, Jean-Pierre and Berner, David and Besnard, Loïc},
Title = {Automated translation of C/C++ programs into a synchronous formalism},
BookTitle = {Engineering of Computer Based Systems},
Address = {IEEE Press},
Month = {March},
Year = {2006}
}
Get EndNote Reference (.ref)
This page is part the Espresso project web site.
It has been automatically generated using the bib2html program.