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.
@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}
}
Get EndNote Reference (.ref)
This page is part the Espresso project web site.
It has been automatically generated using the bib2html program.