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.
Jean-Pierre Talpin
David Berner
Abdoulaye Gamatié
@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}
}
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.