Frederic Doucet, Massimiliano Menarini, Ingolf Kruger, Jean-Pierre Talpin, Rajesh Gupta. A verification approach for GALS integration of synchronous components. In Proceedings of the International Workshop on Formal Methods for Globally Asynchronous Locally Synchronous Design (FMGALS), Verona, Italy, Juillet 2005.
@InProceedings{fmgals05b,
Author = {Doucet, Frederic and Menarini, Massimiliano and Kruger, Ingolf and Talpin, Jean-Pierre and Gupta, Rajesh},
Title = {A verification approach for GALS integration of synchronous components},
BookTitle = {Proceedings of the International Workshop on Formal Methods for Globally Asynchronous Locally Synchronous Design (FMGALS)},
Address = {Verona, Italy},
Month = {July},
Year = {2005}
}
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.