What You Always Wanted to Know about Model Checking of Fault-Tolerant Distributed Algorithms? Igor Konnov, Helmut Veith, and Josef Widder TU Wien (Vienna University of Technology)

First Page		Document Content
Date: 2016-03-08 09:52:31		What You Always Wanted to Know about Model Checking of Fault-Tolerant Distributed Algorithms? Igor Konnov, Helmut Veith, and Josef Widder TU Wien (Vienna University of Technology) Add to Reading List Source URL: forsyte.at Download Document from Source Website File Size: 346,31 KB Share Document on Facebook