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