Doctoral Dissertation Award
United States – 1992
CITATION

For his dissertation "Symbolic Model Checking, An approach to the State Explosion Problem."