Jean-Pierre Talpin, Paul Le Guernic. An algebraic theory for behavioral modeling and protocol synthesis in system design. Formal Methods in System Design, 2006.
@article{fmsd06,
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},
Address = {Springer Verlag},
Year = {2006}
}
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.