Paradigms for the specification, design, and verification of real-time distributed systems

• Authors:

• R. K. Shyamasundar;Leo Yuhsiang Liu

• Affiliations:

• -;-

• Venue:
• Paradigms for the specification, design, and verification of real-time distributed systems
• Year:
• 1989