Josef Widder is awarded a FWF standalone project
Friday, Mar 20, 2015Josef Widder is awarded a FWF standalone project “PRAVDA” on Parameterized Verification of Fault-tolerant Distributed Algorithms
Josef Widder is awarded a FWF standalone project “PRAVDA” on Parameterized Verification of Fault-tolerant Distributed Algorithms