maler92b

O. Maler, Z. Manna, A. Pnueli. From Timed to Hybrid Systems. Research Report Stanford University, No 0, January 1992.

Contact

Oded Maler

BibTex Reference

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

EndNote Reference [help]

Get EndNote Reference (.ref)

This page is part the Espresso project web site.
It has been automatically generated using the bib2html program.