Binary Decision Diagrams Conference Proceeding

Overview

CU Boulder Authors

• Somenzi, Fabio

publication date

• July 28, 1998

Date in CU Experts

• May 28, 2014 4:12 AM

Full Author List

• Somenzi F

Full Editor List

• Broy M; Steinbruggen R

author count

• 1

citation count

• 36

published in

• Nato Asi Series F Computer and Systems Sciences  Journal

presented at event

• NATO Advanced Study Institute on Calculational System Design  Conference

Other Profiles

International Standard Serial Number (ISSN)

• 0258-1248

International Standard Book Number (ISBN) 10

• 90-5199-459-1

Additional Document Info

start page

• 303

end page

• 366

volume

• 173