Symbolic model checking
By: by Kenneth L. McMillan.
Publisher: Kluwer Academic
Published: 1993
Place of publication: Boston
Language: eng
Number of pages: 194
Subjects: Electronic digital computers -- Circuits -- Design -- Data processing.; Symbolic circuit analysis -- Data processing.; Logic design -- Data processing.
Notes: Includes bibliographical references (p. 183-190) and index.