What You Always Wanted to Know About Model Checking of Fault-Tolerant Distributed Algorithms release_x4eudoyzafbt3asccajklncncu

by Igor Konnov, Helmut Veith, Josef Widder

Published in Lecture Notes in Computer Science by Springer International Publishing.

2016   p6-21

Archived Files and Locations

application/pdf  354.7 kB
file_mjgnrslnejhnvmwy72jvf7kx3u
web.archive.org (webarchive)
core.ac.uk (aggregator)
Read Archived PDF
Preserved and Accessible
Type  chapter
Stage   published
Year   2016
Container Metadata
Not in DOAJ
Not in Keepers Registry
ISSN-L:  0302-9743
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 33b5e1d2-6253-42ff-9f17-0bae99b34e5f
API URL: JSON