Jump to : Contact | BibTex reference | EndNote reference |

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

BibTex Reference

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

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.