Thomas A. Henzinger

co-located with POPL 2016

Not registered as user yet

Name:Thomas A. Henzinger

Affiliation:IST Austria

Contributions

VMCAI	Lipschitz Robustness of Timed I/O Systems Abstraction-driven Concolic Testing
POPL 2016	PSync: a partially synchronous language for fault-tolerant distributed algorithms
Show activities from other conferences