| Type |  Book |
| ชื่อเรื่อง | Symbolic model checking / by Kenneth L. McMillan |
| ผู้แต่ง | Mcmillan, Kenneth l |
| ISBN | 0792393805 |
| พิมพลักษณ์ | Boston : Kluwer Academic, c1993 |
| รูปเล่ม | 194 p. : ill |
| หัวเรื่อง | Logic design |
| | Symbolic circuit analysis |
| | Digital computer circuits |