From timed to hybrid systems
By: by O. Maler, Z. Manna, A. Pnueli.
Contributors: Manna, Zohar.; Pnueli, A.
Series: Report ;; no. STAN-CS-92-1407; Report (Stanford University. Computer Science Dept.) ;; no. STAN-CS-92-1407.
Publisher: Dept. of Computer Science, Stanford University
Published: 1992
Place of publication: Stanford, Calif
Language: eng
Number of pages: 37
Subjects: Real-time data processing.; Hybrid computers.
Notes: Includes bibliographical references (p. 35-37).
Cover title.
"January 1992"--Cover.