"Model-Based Testing of the Gorums Framework for Fault-Tolerant Distributed ..."

Rui Wang et al. (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics