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

C. S. Tang

Browse the full DS paper archive.