Thomas Henzinger (Q88295)
Jump to navigation
Jump to search
Austrian computer scientist
- Thomas A. Henzinger
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Thomas Henzinger |
Austrian computer scientist |
|
Statements
1962
2 references
9 April 2014
8 December 1962
1 reference
1 reference
2015
for fundamental advances in the theory and practice of formal verification and synthesis of reactive, real-time, and hybrid computer systems (English)
2006
8 January 2007
For contributions to formal verification and hybrid systems. (English)
1 January 2012
Identifiers
1 reference
1 reference
2 references
1 reference
1 reference
Sitelinks
Wikipedia(5 entries)
- arzwiki توماس هينزينجر
- cswiki Thomas Henzinger
- dewiki Thomas Henzinger
- enwiki Thomas Henzinger
- frwiki Thomas Henzinger