|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
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