TY - BOOK AU - Боженкова, Е. Н. TI - Исследование разрешимости временных тестовых эквивалентностей T2 - Препринт VL - 62 PY - 1999/// CY - Новосибирск PB - ИСИ KW - Параллельные вычислительные системы KW - Эквивалентность KW - RU\NLR\auth\661321209 KW - З973.202 N2 - Библиогр.: с. 31 (12 назв.) ER -