Contributions to the formal verification of distributed algorithms

• Authors:

• Ching-Tsun Chou

• Affiliations:

• Univ. of California, Los Angeles

• Venue:
• Contributions to the formal verification of distributed algorithms
• Year:
• 1996