Modeling timed behavior in real-time systems with temporal logic

• Authors:

• J. F. Peters, III;S. Ramanna

• Affiliations:

• -;-

• Venue:
• Cybernetics and Systems
• Year:
• 1991