621.392 / M459s
Mcmillan, Kenneth L.
Symbolic model checking
/ Kenneth L. McMillan; foreworded by Edmund Clarke
.- Boston: Kluwer Academic, 1993
.- xv, 194p .
ISBN: 0792393805
Subject Headings:
Electronic digital computers -- Circuits -- Design -- Data processing;
Symbolic circuit analysis -- Data processing;
Logic design -- Data processing;
Copy Details:
Acc. No.: A174984, Full Call No.: 621.392 M459s, Item type: Books , Location: COMPACT STORAGE (BASEMENT),
------------------------- --------------------- ------ --------- ------- ------- --------- --------