Ahmed Saoudi, David E. Muller, Paul E. Schupp. Finite State Processes, Z-Temporal Logic and the Monadic Theory of the Integers. Int. J. Found. Comput. Sci., 3(3):233-244, 1992.
No references recorded for this publication.
No citations of this publication recorded.