Accès aux Contact | Référence BibTex | Référence EndNote |

fmsd06

Jean-Pierre Talpin, Paul Le Guernic. An algebraic theory for behavioral modeling and protocol synthesis in system design. Formal Methods in System Design, 2006.

Contact

Jean-Pierre Talpin

Référence BibTex

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

Référence EndNote [help]

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.