Peralta01

J.C Peralta, T. Gautier. Towards SMV model checking of Signal (multi-clocked) specifications. In Ninth International Workshop on Automated Verification of Cirtical Systems (AVOCS'09), to appear in Electronic Communications of the EASST, Pages 171-185, 2009.

Contact

Julio Peralta
Thierry Gautier

BibTex Reference

@InProceedings{Peralta01,
   Author = {Peralta, J.C and Gautier, T.},
   Title = {Towards SMV model checking of Signal (multi-clocked) specifications},
   BookTitle = {Ninth International Workshop on Automated Verification of Cirtical Systems (AVOCS'09)},
   Pages = {171--185},
   Year = {2009}
}

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.