A formal analysis of database replication protocols with SI replicas and crash failures.评价结果

评估详情