,

Relational concurrent refinement part II: Internal operations and outputs.

, , и .
Formal Aspects Comput., 21 (1-2): 65-102 (2009)

Метаданные

тэги

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

  • @dblp
  • @leonardo

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