Frm Synchronization Tree Logic to Acceptance Model Logic

• Authors:

• Susanne Graf;Joseph Sifakis

• Affiliations:

• -;-

• Venue:
• Proceedings of the Conference on Logic of Programs
• Year:
• 1985