Accès aux Contact | Référence BibTex | Référence EndNote |

fmgals05

Syed Suhaib, David Berner, Deepak Mathaikutty, Jean-Pierre Talpin, Sandeep Shukla. A Functional Programming Framework for Latency Insensitive Protocol Validation. In Proceedings of the International Workshop on Formal Methods for Globally Asynchronous Locally Synchronous Design (FMGALS), Verona, Italy, Juillet 2005.

Contact

David Berner
Jean-Pierre Talpin

Référence BibTex

@InProceedings{fmgals05,
   Author = {Suhaib, Syed and Berner, David and Mathaikutty, Deepak and Talpin, Jean-Pierre and Shukla, Sandeep},
   Title = {A Functional Programming Framework for Latency Insensitive Protocol Validation},
   BookTitle = {Proceedings of the International Workshop on Formal Methods for Globally Asynchronous Locally Synchronous Design (FMGALS)},
   Address = {Verona, Italy},
   Month = {July},
   Year = {2005}
}

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.