Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Helmut Veith
conf.researchr.org general profile
POPL 2017 profile
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
Share
x
Thu 19 Dec 04:03