nebutmovep02

Mirabelle Nebut. A Clock Language to Specify and Analyze Synchronous Data-Flow Specifications. In Actes de l'école d'été Movep'02, MOdélisation et Vérification des systèmes PArallèles, Nantes, France, Juin 2002.

Contact

Mirabelle Nebut

Référence BibTex

@InProceedings{nebutmovep02,
   Author = {Nebut, Mirabelle},
   Title = {A Clock Language to Specify and Analyze Synchronous Data-Flow Specifications},
   BookTitle = {Actes de l'école d'été Movep'02, MOdélisation et Vérification des systèmes PArallèles},
   Address = {Nantes, France},
   Month = {June},
   Year = {2002}
}

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.