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
@InProceedings{nebutpinchinat-slap02,
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}
}
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.