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

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

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

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

    Griffioen W.O.D. The bakery protocol:A comparative case-study in formal verification / W.O.D.Griffioen,H.P.Korver, 1995. - 24 p. - Текст : непосредственный.

    Griffioen W.O.D. Proof-checking an audio control protocol with LP / W.O.D.Griffioen, 1995. - 32 p. - Текст : непосредственный.