Stabilization, Safety, and Security of Distributed Systems: 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings (Theoretical Computer Science and General Issues)
Higashino, Teruo／Katayama, Yoshiaki／Masuzawa, Toshimitsu／Potop-Butucaru, Maria／Yamashita, Masafumi
