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

Fundamenta04

J.P. Talpin, P. Le Guernic, S. K. Shukla, R. Gupta, F. Doucet. Formal refinement checking in a system-level design methodology. Fundamenta Informaticae, 2004.

Contact

Jean-Pierre Talpin

Référence BibTex

@article{Fundamenta04,
   Author = {Talpin, J.P. and Le Guernic, P. and Shukla, S. K. and Gupta, R. and Doucet, F.},
   Title = {Formal refinement checking in a system-level design methodology},
   Journal = {Fundamenta Informaticae},
   Publisher = {IOS Press},
   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.