Symbolic guided search for CTL model checking Conference Proceeding

Overview

CU Boulder Authors

• Somenzi, Fabio

publication date

• June 5, 2000

has restriction

• bronze

Date in CU Experts

• May 28, 2014 4:11 AM

Full Author List

• Bloem R; Ravi K; Somenzi F

author count

• 3

citation count

• 31

published in

• Design Automation Conference  Journal

presented at event

• 37th Annual Design Automation Conference (DAC)  Conference

Other Profiles

International Standard Serial Number (ISSN)

• 0738-100X

Digital Object Identifier (DOI)

• https://doi.org/10.1145/337292.337306

International Standard Book Number (ISBN) 10

• 0-7803-6315-9

Additional Document Info

start page

• 29

end page

• 34