,

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

.
DS-2, стр. 375-390. North-Holland, (1986)

Метаданные

тэги

Пользователи данного ресурса

  • @dblp

Комментарии и рецензии