The paper following the invited talk by Helmut Veith at PSI’15
Friday, Feb 12, 2016If you wanted to know anything about model checking of fault-tolerant distributed algorithms, then check our follow-up paper after the invited talk by Helmut Veith at PSI’15.