Jump to : Contact | BibTex reference | EndNote reference |

Kluwer04c

D. Berner, S. Suhaib, S. Shukla, J.P. Talpin. Capturing formal specifications into abstract models, chapter in Formal Methods and Models for System Design. In Formal Methods and Models for System Design, Kluwer Academic Publishers, 2004.

Contact

David Berner
Jean-Pierre Talpin

BibTex Reference

@InCollection{Kluwer04c,
   Author = {Berner, D. and Suhaib, S. and Shukla, S. and Talpin, J.P.},
   Title = {Capturing formal specifications into abstract models, chapter in Formal Methods and Models for System Design},
   BookTitle = {Formal Methods and Models for System Design},
   Publisher = {Kluwer Academic Publishers},
   Year = {2004}
}

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.