Helmut Veith -

Registered user since Thu 3 Nov 2016

Name:Helmut Veith

Country:Austria

Affiliation:TU Wien

Contributions

2017

POPL

Author of A Short Counterexample Property for Safety and Liveness Verification of Fault-tolerant Distributed Algorithms within the POPL-track