A language for compositional specification and verification of finite state hardware controllers:
Saved in:
Bibliographic Details
Main Authors: Clarke, E. M. (Author), Long, D. E. (Author), MacMillan, K. L. (Author)
Format: Book
Language:English
Published: Pittsburgh, Pa. 1989
Series:Carnegie-Mellon University <Pittsburgh> / Computer Science Department: CMU-CS 89,110.
Subjects:
Physical Description:23 S. graph. Darst.

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection!