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

Kluwer04b

J.P. Talpin, D. Berner, S. Shukla, P. Le Guernic, A. Gamatié, R. Gupta. Behavioral type inference for compositional system design, chapter in Formal Methods and Models for System Design. In Formal Methods and Models for System Design, Kluwer Academic Publishers, 2004.

Contact

Jean-Pierre Talpin
David Berner
Abdoulaye Gamatié

Référence BibTex

@InCollection{Kluwer04b,
   Author = {Talpin, J.P. and Berner, D. and Shukla, S. and Le Guernic, P. and Gamatié, A. and Gupta, R.},
   Title = {Behavioral type inference for compositional system design, chapter in Formal Methods and Models for System Design},
   BookTitle = {Formal Methods and Models for System Design},
   Publisher = {Kluwer Academic Publishers},
   Year = {2004}
}

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.