fmgals07

Julien Ouy, Jean-Pierre Talpin, Loïc Besnard, Paul Le Guernic. Separate compilation of polychronous specifications. In Formal Methods for Globally Asynchronous Locally Synchronous Design, 2007.

Contact

Julien Ouy
Jean-Pierre Talpin
Loic Besnard

Référence BibTex

@InProceedings{fmgals07,
   Author = {Ouy, Julien and Talpin, Jean-Pierre and Besnard, Loïc and Le Guernic, Paul},
   Title = {Separate compilation of polychronous specifications},
   BookTitle = {Formal Methods for Globally Asynchronous Locally Synchronous Design},
   Publisher = {Electronic Notes in Theoretical Computer Science, Elsevier},
   Year = {2007}
}

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.