Электронный каталог


    страница из 1
    всего найдено записей: 4,
      отображать

    Лицевая сторона карточкиОбратная сторона карточки

    Лицевая сторона карточкиОбратная сторона карточки

    De Nicola R. Three logics for branching bisimulation / R.De Nicola,F.W.Vaandrager, 1990. - 28 p. - Текст : непосредственный.

    De Nicola R. Back and forth bisimulations / R.De Nicola,U.Montanari,F.W.Vaandrager, 1990. - 14 p. - Текст : непосредственный.