![](/img/cover-not-exists.png)
[IEEE 2012 IEEE 18th Pacific Rim International Symposium on Dependable Computing (PRDC) - Niigata, Japan (2012.11.18-2012.11.19)] 2012 IEEE 18th Pacific Rim International Symposium on Dependable Computing - Safety Verification of Asynchronous Consensus Algorithms with Model Checking
Noguchi, Tatsuya, Tsuchiya, Tatsuhiro, Kikuno, TohruYear:
2012
Language:
english
DOI:
10.1109/prdc.2012.24
File:
PDF, 264 KB
english, 2012