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

nebutAFADL03

Mirabelle Nebut. Un langage d'horloge pour analyser et spécifier les réactions synchrones. In Approches Formelles pour l'Assistance au Développement de Logiciels (AFADL'03), 2003.

Contact

Mirabelle Nebut

Référence BibTex

@InProceedings{nebutAFADL03,
   Author = {Nebut, Mirabelle},
   Title = {Un langage d'horloge pour analyser et spécifier les réactions synchrones},
   BookTitle = {Approches Formelles pour l'Assistance au Développement de Logiciels (AFADL'03)},
   Year = {2003}
}

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.