Symbolic guided search for CTL model checking
Conference Proceeding
Overview
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)
Additional Document Info
start page
- 29
end page
- 34