EXTENDED BDDS - TRADING OFF CANONICITY FOR STRUCTURE IN VERIFICATION ALGORITHMS
Journal Article
Overview
publication date
- February 1, 1994
Full Author List
- PLESSIER B; HACHTEL G; SOMENZI F
published in
- Formal Methods in System Design Journal
Other Profiles
Digital Object Identifier (DOI)
Additional Document Info
start page
- 167
end page
- 185
volume
- 4
issue
- 2