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


R. Gupta, P. Le Guernic, S. Shukla, J.P. Talpin (eds.). Formal Methods and Models for System Design. Kluwer Academic Publishers, 2004.

Référence BibTex

   Title = {Formal Methods and Models for System Design},
   editor = {Gupta, R. and Le Guernic, P. and Shukla, S. and Talpin, J.P.},
   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.