Algebraic decision diagrams and their applications
Journal Article
Overview
publication date
- January 1, 1997
has restriction
- closed
Date in CU Experts
- September 6, 2013 12:30 PM
Full Author List
- Bahar RI; Frohm EA; Gaona CM; Hachtel GD; Macii E; Pardo A; Somenzi F
author count
- 7
citation count
- 136
published in
- Formal Methods in System Design Journal
Other Profiles
International Standard Serial Number (ISSN)
- 0925-9856
Digital Object Identifier (DOI)
Additional Document Info
start page
- 171
end page
- 206
volume
- 10
issue
- 2-3