Jump to : Contact | BibTex reference | EndNote reference |

fmgals05b

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, July 2005.

Contact

Jean-Pierre Talpin

BibTex Reference

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

EndNote Reference [help]

Get EndNote Reference (.ref)

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