String-functional semantics for formal verification of synchronous circuits
By: Alexandre Bronstein & Carolyn L. Talcott.
Contributors: Talcott, Carolyn L.
Series: Report ;; no. STAN-CS-88-1210; Report (Stanford University. Computer Science Dept.) ;; no. STAN-CS-88-1210.
Publisher: Dept. of Computer Science, Stanford University
Published: 1988
Place of publication: Stanford, Calif
Language: eng
Number of pages: 56
Subjects: Electronic digital computers -- Design and construction.; Sequential machine theory.; Synchronization.
Notes: Bibliography: p. 52-54.
"June 1988."
Includes index.