Cover Image

Symbolic model checking /

Show other versions (1)
Bibliographic Details
Main Author: McMillan, Kenneth L.
Format: Book
Language:English
Published: Boston : Kluwer Academic, [1993]
Subjects:
Electronic digital computers > Circuits > Design > Data processing.
Symbolic circuit analysis > Data processing.
Logic design > Data processing.
Description
Physical Description:xv, 194 pages : illustrations ; 28 cm.
Bibliography:Includes bibliographical references (pages 183-190) and index.
ISBN:0792393805 (acid-free paper)