%0 Conference Paper %1 journals/entcs/SuhaibMSBT06 %A Suhaib, Syed %A Mathaikutty, Deepak %A Shukla, Sandeep K. %A Berner, David %A Talpin, Jean-Pierre %B FMGALS@MEMOCODE %D 2005 %E Singh, Montek %E Talpin, Jean-Pierre %I Elsevier %K dblp %N 2 %P 169-188 %T A Functional Programming Framework for Latency Insensitive Protocol Validation. %U http://dblp.uni-trier.de/db/conf/fmgals/fmgals2005.html#SuhaibMSBT06 %V 146

@inproceedings{journals/entcs/SuhaibMSBT06, added-at = {2022-12-16T00:00:00.000+0100}, author = {Suhaib, Syed and Mathaikutty, Deepak and Shukla, Sandeep K. and Berner, David and Talpin, Jean-Pierre}, biburl = {https://www.bibsonomy.org/bibtex/28204c6930fcac65371bfd468b62538b0/dblp}, booktitle = {FMGALS@MEMOCODE}, crossref = {conf/fmgals/2005}, editor = {Singh, Montek and Talpin, Jean-Pierre}, ee = {https://www.wikidata.org/entity/Q57526656}, interhash = {7847e599df9fac85ff6177b8bcdbc28b}, intrahash = {8204c6930fcac65371bfd468b62538b0}, keywords = {dblp}, number = 2, pages = {169-188}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-09T21:47:54.000+0200}, title = {A Functional Programming Framework for Latency Insensitive Protocol Validation.}, url = {http://dblp.uni-trier.de/db/conf/fmgals/fmgals2005.html#SuhaibMSBT06}, volume = 146, year = 2005 }