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.
@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}
}
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.