The safety-progress classification
By: by E. Chang, Z. Manna, A. Pnueli.
Contributors: Manna, Zohar.; Pnueli, A.
Series: Report ;; no. STAN-CS-92-1408; Report (Stanford University. Computer Science Dept.) ;; no. STAN-CS-92-1408.
Publisher: Dept. of Computer Science, Stanford University
Published: 1992
Place of publication: Stanford, Calif
Language: eng
Number of pages: 60
Subjects: Real-time programming.; Logic, Symbolic and mathematical.
Notes: Includes bibliographical references (p. 59-60).
Cover title.
"February 1992."