Symbolic guided search for CTL model checking Conference Proceeding

Overview

CU Boulder Authors

• Somenzi, Fabio

publication date

• June 5, 2000

Full Author List

• Bloem R; Ravi K; Somenzi F

published in

• Design Automation Conference  Journal

Other Profiles

Digital Object Identifier (DOI)

• 10.1145/337292.337306

Additional Document Info

start page

• 29

end page

• 34