Group membership protocol: specification and verification

Authors:
Yuri Gurevich;Raghu Mani
Affiliations:
-;-
Venue:
Specification and validation methods
Year:
1995

Citing 0
Cited 2

Systematic Formal Verification for Fault-Tolerant Time-Triggered Algorithms

IEEE Transactions on Software Engineering
Yuri, logic, and computer science

Fields of logic and computation

Quantified Score

Hi-index	0.00

Visualization

Abstract