Выберите категорию обращения:
Общие вопросы
Отчеты
Рейтинги
Мониторинговый отчёт
Диссертационные советы
Конкурсы
Ввод данных
Структура организаций
Аспирантура
Научное оборудование
Импорт педагогической нагрузки
Журналы и импакт-факторы
Тема обращения:
Описание проблемы:
Введите почтовый адрес:
ИСТИНА
Войти в систему
Регистрация
ИСТИНА ИНХС РАН
Главная
Поиск
Статистика
О проекте
Помощь
Abstract State Machines 2004. Advances in Theory and Practice, 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings
сборник
Год издания:
2004
Серия:
Lecture Notes in Computer Science
Том:
3052
Издательство:
SPRINGER HEIDELBERG
Местоположение издательства:
TIERGARTENSTRASSE 17, HEIDELBERG, GERMANY,D-69121
Добавил в систему:
Золин Евгений Евгеньевич
Статьи, опубликованные в сборнике
2004
Observations on the Decidability of Transitions
Gurevich Yuri
,
Yavorskiy Rostislav
в сборнике
Abstract State Machines 2004. Advances in Theory and Practice, 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings
, серия
Lecture Notes in Computer Science
, издательство
SPRINGER HEIDELBERG
(TIERGARTENSTRASSE 17, HEIDELBERG, GERMANY,D-69121)
, том 3052, с. 161-168
DOI