Integrating automata and temporal logic: a framework for specification of real-time systems and software

• Authors:

• A. Gabrielian;R. Iyer

• Affiliations:

• -;-

• Venue:
• The unified computation laboratory
• Year:
• 1992