abstract
- 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.
A performance study of BDD-based model checking
Chapter
Overview
CU Boulder Authors
publication date
- October 21, 1998
Date in CU Experts
- April 17, 2014 2:07 AM
Full Author List
- SOMENZI F
Full Editor List
- Gopalakrishnan G; Windley P
author count
- 1
Other Profiles
International Standard Book Number (ISBN) 10
- 3540651918
International Standard Book Number (ISBN) 13
- 9783540651918