Compositional verification of reactive and real-time systems

• Authors:

• Edward Chang

• Affiliations:

• Stanford univ., Stanford, CA

• Venue:
• Compositional verification of reactive and real-time systems
• Year:
• 1994