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


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

    Puppis G. Automata for branching and layered temporal structures : an investigation into regularities of infinite transition systems / G. Puppis, 2010 r=on-line. - Текст : электронный.