Jump to : Contact | BibTex reference | EndNote reference |

fmsd05

Jean-Pierre Talpin, Paul Le Guernic. An algebraic theory for behavioral modeling and protocol synthesis in system design. Formal Methods in System Design, Special Issue on formal methods for GALS design, 2005.

Contact

Jean-Pierre Talpin

BibTex Reference

@article{fmsd05,
   Author = {Talpin, Jean-Pierre and Le Guernic, Paul},
   Title = {An algebraic theory for behavioral modeling and protocol synthesis in system design},
   Journal = {Formal Methods in System Design, Special Issue on formal methods for GALS design},
   Address = {Springer Verlag},
   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.