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

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

    Penczek W. Advances in verification of time petri nets and timed automata : a temporal logic approach / W. Penczek, A. Polrola, 2006 r=on-line. - Текст : электронный.