On the Decidability of the Linear Z-Temporal Logic and the Monadic Second Order Theory

• Authors:

• David E. Muller;Paul E. Schupp;Ahmed Saoudi

• Affiliations:

• -;-;-

• Venue:
• ICCI '92 Proceedings of the Fourth International Conference on Computing and Information: Computing and Information
• Year:
• 1992