Вход
Электронный каталог
Groote J.F. complete axiomatisation of branching bisimulation for process algebras with alternative quantification over data / J. F. Groote, S. P. Luttik, 1998. - 12 p. - Текст : непосредственный.
Лицевая сторона карточки | Обратная сторона карточки |
Лицевая сторона карточки | Обратная сторона карточки |