Helmut Veith - PEPM 2017

Write a Blog >>

Mon 16 - Tue 17 January 2017

co-located with POPL 2017

Registered user since Thu 3 Nov 2016

Name:Helmut Veith

Country:Austria

Affiliation:TU Wien

Contributions

2017

POPL

A Short Counterexample Property for Safety and Liveness Verification of Fault-tolerant Distributed Algorithms

Show activities from other conferences

POPL 2017-profile
View general profile