O. Maler, Z. Manna, A. Pnueli. From Timed to Hybrid Systems. Rapport de recherche Stanford University, No 0, Janvier 1992.
@TechReport{maler92b,
Author = {Maler, O. and Manna, Z. and Pnueli, A.},
Title = {From Timed to Hybrid Systems},
Number = {0},
Institution = {Stanford University},
Month = {January},
Year = {1992}
}
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.