Timing specification and verification for fault-tolerant distributed computer systems

• Authors:

• Seung Min Yang

• Affiliations:

• -

• Venue:
• Timing specification and verification for fault-tolerant distributed computer systems
• Year:
• 1986