A Temporal Logic Language for Behaviour Modelling of Information and Expert Systems

C. S. Tang. A Temporal Logic Language for Behaviour Modelling of Information and Expert Systems. In DS-2. pages 375-390, 1986.

Abstract

Abstract is missing.