Amit Goel, Ph.D.
Affiliations: | 2004 | Carnegie Mellon University, Pittsburgh, PA |
Area:
Electronics and Electrical Engineering, Computer ScienceGoogle:
"Amit Goel"Parents
Sign in to add mentor| Randal Bryant | grad student | 2004 | Carnegie Mellon | |
| (A unified framework for symbolic simulation and model checking.) | ||||