Back to Results
First PageMeta Content



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

Document Date: 2016-03-08 09:52:31


Open Document

File Size: 346,31 KB

Share Result on Facebook
UPDATE