A performance study of BDD-based model checking Chapter uri icon

Overview

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.

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

book title

  • Formal Methods in Computer-Aided Design

Other Profiles

International Standard Book Number (ISBN) 10

  • 3540651918

International Standard Book Number (ISBN) 13

  • 9783540651918