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.
David Berner
Jean-Pierre Talpin
@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}
}
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.