STeP, the Stanford Temporal Prover
By: by Zohar Manna ... [et al.].
Contributors: Manna, Zohar.
Series: Report ;; no. STAN-CS-TR-94-1518; Report (Stanford University. Computer Science Dept.) ;; no. STAN-CS-TR-94-1518.
Publisher: Dept. of Computer Science, Stanford University
Published: 1994
Place of publication: Stanford, Calif
Language: eng
Number of pages: 44
Subjects: Automatic theorem proving.
Notes: Includes bibliographical references (P. 42-44).
Cover title.
"June 1994."