ecbs06

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, Mars 2006.

Contact

Hamoudi Kalla
Jean-Pierre Talpin
David Berner
Loic Besnard

Référence BibTex

@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}
}

Référence EndNote [help]

Charger la référence EndNote (.ref)

This page is part the Espresso project web site.
It has been automatically generated using the bib2html program.