maler92b

O. Maler, Z. Manna, A. Pnueli. From Timed to Hybrid Systems. Rapport de recherche Stanford University, No 0, Janvier 1992.

Contact

Oded Maler

Référence BibTex

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

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.