![](/img/cover-not-exists.png)
[IEEE 2009 16th Asia-Pacific Software Engineering Conference (APSEC) - Batu Ferringhi, Penang, Malaysia (2009.12.1-2009.12.3)] 2009 16th Asia-Pacific Software Engineering Conference - Towards Automated Verification of Distributed Consensus Protocols
Minamikawa, Takahiro, Tsuchiya, Tatsuhiro, Kikuno, TohruYear:
2009
Language:
english
DOI:
10.1109/apsec.2009.23
File:
PDF, 196 KB
english, 2009