,

Infinite Evolution Mechanism of ϵ-Bisimilarity.

, , и .
QLSC, том 5 из World Scientific Proceedings Series on Computer Engineering and Informtion Science, World Scientific, (2012)

Метаданные

тэги

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

  • @dblp

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