Symbolic Model Checking: Kenneth L McMillan, Kluwer Academic, Dordrecht, The Netherlands (1993) ISBN 0 7923 9380 5, £54.50, pp 194
- 30 June 1994
- journal article
- book review
- Published by Elsevier in Microprocessors and Microsystems
- Vol. 18 (5) , 297
- https://doi.org/10.1016/0141-9331(94)90007-8
Abstract
No abstract availableKeywords
This publication has 0 references indexed in Scilit: