On the equivalence problem for programs with mode switching - статья | ИСТИНА – Интеллектуальная Система Тематического Исследования НАукометрических данных

On the equivalence problem for programs with mode switchingстатья

Дата последнего поиска статьи во внешних источниках: 29 мая 2015 г.

Авторы: Podlovchenko R.I., Rusakov D.M., Zakharov V.A.
Сборник: Pre-Proceedings of CIAA-2005 "The 10-th International Conference on Implementation and Application of Automata" (June 27-29, 2005), Sophia Antipolis
Год издания: 2005
Место издания: France
Первая страница: 285
Последняя страница: 287
Добавил в систему: Захаров Владимир Анатольевич