In-Ho Moon, Ph.D.
Affiliations: | 2000 | University of Colorado, Boulder, Boulder, CO, United States |
Area:
Electronics and Electrical EngineeringGoogle:
"In-Ho Moon"Parents
Sign in to add mentorFabio Somenzi | grad student | 2000 | CU Boulder | |
(Efficient reachability algorithms in symbolic model checking.) |