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

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

    Formal modeling and analysis of timed systems : 4th international conference, FORMATS 2006, Paris, France, September 25-27, 2006: proceedings / ed. E. Asarin, 2006 r=on-line. - Текст : электронный.