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

Full Author List

  • SOMENZI F

book title

  • Formal Methods in Computer-Aided Design

Other Profiles

International Standard Book Number (ISBN) 13

  • 9783540651918