|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Proceedings of the 25th International Workshop on Concurrency, Specification and Programming (CS&P 2016)сборник
- Год издания: 2016
- Серия: CEUR Workshop Proceedings (CEUR-WS.org)
- Том: 1698
- Издательство: Humboldt Universitet Zu Berlin
- Местоположение издательства: Berlin, Germany
- Добавил в систему: Захаров Владимир Анатольевич
Статьи, опубликованные в сборнике
-
- 2016 On the model checking of sequential reactive systems
- Kozlova D., Zakharov V.
- в сборнике Proceedings of the 25th International Workshop on Concurrency, Specification and Programming (CS&P 2016), серия CEUR Workshop Proceedings (CEUR-WS.org), издательство Humboldt Universitet Zu Berlin (Berlin, Germany), том 1698, с. 233-244