%0 Conference Proceedings
%F fmgals05
%A Suhaib, Syed
%A Berner, David
%A Mathaikutty, Deepak
%A Talpin, Jean-Pierre
%A Shukla, Sandeep
%T A Functional Programming Framework for Latency Insensitive Protocol Validation
%B Proceedings of the International Workshop on Formal Methods for Globally Asynchronous Locally Synchronous Design (FMGALS)
%C Verona, Italy
%8 July
%D 2005