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

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), à paraître in Electronic Communications of the EASST, Pages 171-185, 2009.

Contact

Julio Peralta
Thierry Gautier

Référence BibTex

@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}
}

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.