Developing correctly replicated databases using formal tools”. In: (2014)

by N Schiper, V Rahli, R V Renesse, M Bickford, R L Constable