An interleaving model for real time
By: by T.A. Henzinger, Z. Manna, and A. Pnueli.
Contributors: Manna, Zohar.; Pnueli, A.
Series: Report ;; no. STAN-CS-90-1329; Report (Stanford University. Computer Science Dept.) ;; no. STAN-CS-90-1329.
Publisher: Dept. of Computer Science, Stanford University
Published: 1990
Place of publication: Stanford, Calif
Language: eng
Number of pages: 36
Subjects: Real-time data processing.
Notes: Includes bibliographical references (p. 35-36).
Cover title.
"September 1990."