Published in
Springer Verlag, Lecture Notes in Artificial Intelligence, p. 209-226, 2013
DOI: 10.1007/978-3-642-39176-7_14
Links
Tools
Towards Modeling and Model Checking Fault-Tolerant Distributed Algorithms
This paper was not found in any repository, but could be made available legally by the author.
Full text: Unavailable
Published version:
archiving forbidden
Data provided by 
