ParentsSign in to add mentor
ChildrenSign in to add trainee
CollaboratorsSign in to add collaborator
BETA: Related publications
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.
|Bahar RI, Frohm EA, Gaona CM, et al. (1997) Algebraic Decision Diagrams and Their Applications Formal Methods in System Design. 10: 171-206|
|Bahar RI, Burns M, Hachtel GD, et al. (1996) Symbolic computation of logic implications for technology-dependent low-power synthesis Ieee Symposium On Low Power Electronics. 163-168|