A Hierarchy of Partial Order Temporal Properties

• Authors:

• Marta Z. Kwiatkowska;Doron Peled;Wojciech Penczek

• Affiliations:

• -;-;-

• Venue:
• ICTL '94 Proceedings of the First International Conference on Temporal Logic
• Year:
• 1994