High-density reachability analysis Conference Proceeding

Overview

CU Boulder Authors

• Somenzi, Fabio

publication date

• November 5, 1995

Date in CU Experts

• May 28, 2014 4:12 AM

Full Author List

• Ravi K; Somenzi F

author count

• 2

citation count

• 36

presented at event

• 1995 IEEE/ACM International Conference on Computer-Aided Design  Conference

Other Profiles

International Standard Book Number (ISBN) 10

• 0-8186-7213-7

Additional Document Info

start page

• 154

end page

• 158