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), to appear 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}
}
Get EndNote Reference (.ref)
This page is part the Espresso project web site.
It has been automatically generated using the bib2html program.