Accès aux Contact | Référence BibTex | Référence EndNote |


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


Oded Maler

Référence BibTex

   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.