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 ListSource URL: forsyte.atDownload Document from Source WebsiteFile Size: 346,31 KBShare Document on Facebook |