ictac07

P. Bostrm, L. Morel, M. Walden. Stepwise development of Simulink models using the refinement calculus framework. In International Colloquium on Theoretical Aspects of Computing, 2007.

Contact

Lionel Morel

BibTex Reference

@InProceedings{ictac07,
   Author = {Bostrm, P. and Morel, L. and Walden, M.},
   Title = {Stepwise development of Simulink models using the refinement calculus framework},
   BookTitle = {International Colloquium on Theoretical Aspects of Computing},
   Publisher = {Springer Verlag},
   Year = {2007}
}

EndNote Reference [help]

Get EndNote Reference (.ref)

This page is part the Espresso project web site.
It has been automatically generated using the bib2html program.