L. Besnard, T. Gautier, M. Moy, J.-P. Talpin, K. Johnson, F. Maraninchi. Automatic translation of C/C++ parallel code into synchronous formalism using an SSA intermediate form. In Ninth International Workshop on Automated Verification of Cirtical Systems (AVOCS'09), à paraître in Electronic Communications of the EASST, 2009.
Loic Besnard
Thierry Gautier
Jean-Pierre Talpin
Kenneth Johnson
@InProceedings{Besnard01,
Author = {Besnard, L. and Gautier, T. and Moy, M. and Talpin, J.-P. and Johnson, K. and Maraninchi, F.},
Title = {Automatic translation of C/C++ parallel code into synchronous formalism using an SSA intermediate form},
BookTitle = {Ninth International Workshop on Automated Verification of Cirtical Systems (AVOCS'09)},
Year = {2009}
}
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.