Josef Widder - POPL 2018

Sun 7 - Sat 13 January 2018 Los Angeles, California, United States

Registered user since Fri 28 Oct 2016

Name:Josef Widder

Country:Austria

Affiliation:TU Wien

Personal website: http://forsyte.at/widder

Research interests:Distributed Algorithms, Parameterized Model Checking

Contributions

2018

VMCAI

Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction

Show activities from other conferences

POPL 2018-profile
View general profile