Thomas A. Henzinger
E238791
UNEXPLORED
Thomas A. Henzinger is a prominent computer scientist known for his foundational work in formal verification, hybrid systems, and the theory of real-time and embedded systems.
Jump to:
Referenced by
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.