,

Semantics of Reactive Systems in Abstract Time.

, и .
REX Workshop, том 600 из Lecture Notes in Computer Science, стр. 291-314. Springer, (1991)

Метаданные

тэги

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

  • @dblp

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