Inproceedings,

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

.
DS-2, page 375-390. North-Holland, (1986)

Meta data

Tags

Users

  • @dblp

Comments and Reviews