MacMillan,, Kenneth L. Symbolic model checking / Kenneth L. McMillan

Symbolic model checking / Kenneth L. McMillan . - Boston : Kluwer Academic Publishers, cop. 1993 . - XV, 194 p. : il. 24 cm
0-7923-9380-5 Encadernado

681.3