Modular abstractions for verifying real-time distributed systems

• Authors:

• Hana De-Leon;Orna Grumberg

• Affiliations:

• -;-

• Venue:
• Formal Methods in System Design
• Year:
• 1993