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

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

    Hybrid I/O automata / N. A. Lynch, R. Segala, F. W. Vaandrager, H. B. Weinberg, 1995. - 16 p. - Текст : непосредственный.

    Romijn J.M.T. A note on fairness in I/O automata / J. M.T. Romijn, F. W. Vaandrager, 1995. - 8 p. - Текст : непосредственный.

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

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

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

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

    Vaandrager F.W. Expressiveness results for process algebras / F.W.Vaandrager, 1993. - 30 p. - Текст : непосредственный.

    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. - Текст : непосредственный.

    Vaandrager F.W. Verification of a distributed summation algorithm / F.W.Vaandrager, 1995. - 19 p. - Текст : непосредственный.

    Lynch N.A. Action transducers and timed automata / N.A.Lynch,F.W.Vaandrager, 1994. - 40 p. - Текст : непосредственный.

    Groote J.F. efficient algorithm for branching bisimulation and stuttering equivalence / J.F.Groote,F.W.Vaandrager, 1990. - 13 p. - Текст : непосредственный.

    Lynch N.A. Forward and backward simulations. Pt. 2 : Timing-based systems, 1993. - 36 p. - Текст : непосредственный.

    Aceto L. Turning SOS rules into equations / L.Aceto,B.Bloom,F.W.Vaandrager, 1992. - 44 p. - Текст : непосредственный.

    Lynch N.A. Forward and backward simulations. Pt. 1 : Untimed systems, 1993. - 35 p. - Текст : непосредственный.

    Helmink L. Proof-checking a data link protocol / L.Helmink,M.P.A.Sellink,F.W.Vaandrager, 1994. - 39 p. - Текст : непосредственный.

    Jeffrey A.S.A. A comparison of additivity axioms in timed transition systems / A.S.A.Jeffrey,S.A.Schneider,F.W.Vaandrager, 1993. - 19 p. - Текст : непосредственный.

    Bosscher D.J.B. Verification of an audio control protocol / D.J.B.Bosscher,I.Polak,F.W.Vaandrager, 1994. - 29 p. - Текст : непосредственный.

    Formal modeling and analysis of timed systems : 7th International conference, FORMATS 2009, Budapest, Hungary, Sept. 14-16, 2009: proceedings / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный.