A performance study of BDD-based model checking
This book constitutes the refereed proceedings of the Second International Conference on Formal Methods in Computer-Aided Design, FMCAD '98, held in Palo Alto, California, USA, in November 1998.
Date in CU Experts
Full Author List
Full Editor List
Gopalakrishnan G; Windley P
International Standard Book Number (ISBN) 10
International Standard Book Number (ISBN) 13