Dos and don'ts of CTL state coverage estimation Conference Proceeding

Overview

CU Boulder Authors

• Somenzi, Fabio

publication date

• June 2, 2003

Date in CU Experts

• May 28, 2014 4:12 AM

Full Author List

• Jayakumar N; Purandare M; Somenzi F

author count

• 3

citation count

• 30

published in

• Design Automation Conference  Journal

presented at event

• 40th Design Automation Conference  Conference

Other Profiles

International Standard Serial Number (ISSN)

• 0738-100X

International Standard Book Number (ISBN) 10

• 1-58113-688-9

Additional Document Info

start page

• 292

end page

• 295