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


Mirabelle Nebut, Sophie Pinchinat. A Decidable Clock Language for Synchronous Specifications. In Synchronous Languages, Applications, and Programming (SLAP'02), Volume 65, Grenoble, France, Avril 2002.


Mirabelle Nebut
Sophie Pinchinat

Référence BibTex

   Author = {Nebut, Mirabelle and Pinchinat, Sophie},
   Title = {A Decidable Clock Language for Synchronous Specifications},
   BookTitle = {Synchronous Languages, Applications, and Programming (SLAP'02)},
   Volume = {65},
   Number = {5},
   Publisher = {Electronic Notes in Theoretical Computer Science},
   Address = {Grenoble, France},
   Month = {April},
   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.