Теоретико-категорная характеризация различных эквивалентностей на временных автоматных моделях
2005-4/38763 2005-4/38763 [2005-27802]/русский (rus)/Теоретико-категорная характеризация различных эквивалентностей на временных автоматных моделях = The category theoretical characterization of different equivalences for timed automata models / Н.С. Грибовская.Теоретико-категорная характеризация различных эквивалентностей на временных автоматных моделях / Н.С. Грибовская.Теоретико-категорная характеризация различных эквивалентностей на временных автоматных моделях = The category theoretical characterization of different equivalences for timed automata models.Новосибирск/Прайс-курьер/, 2004 ( ). - Прайс-курьер, 2004. - 38 с. : ил. ; 21 см. - (Препринт / Рос. акад. наук, Сиб. отд-ние, Ин-т систем информатики им. А.П. Ершова ; 119).Теоретико-категорная характеризация различных эквивалентностей на временных автоматных моделях. Новосибирск, 2004 .
Авт. также на англ. яз.: N.S. Gribovskaja. - Библиогр.: с.37-38 (13 назв.). Библиогр.: с.37-38 (13 назв.).The category theoretical characterization of different equivalences for timed automata models/Параллельные вычислительные системы -- Теория/Параллельное программирование (компьют.) -- Математические основы/З973.202-01/Gribovskaja , Natalija Sergeevna ./
Авт. также на англ. яз.: N.S. Gribovskaja. - Библиогр.: с.37-38 (13 назв.). Библиогр.: с.37-38 (13 назв.).The category theoretical characterization of different equivalences for timed automata models/Параллельные вычислительные системы -- Теория/Параллельное программирование (компьют.) -- Математические основы/З973.202-01/Gribovskaja , Natalija Sergeevna ./