A proof environment for the development of group communication systems
Lecture notes in computer science1998pp. 317–332
Citations Over TimeTop 10% of 1998 papers
Related Papers
- → Algorithms, Datastructures, and other Issues in Efficient Automated Deduction(2001)20 cited
- → An examination of the prolog technology theorem-prover(1990)7 cited
- → High-Level Verification Using Theorem Proving and Formalized Mathematics(2000)2 cited
- → Comparing Proof-of-Stake and Proof-of-Work Resource Consumption and Proof-of-Stake Improvements(2022)