|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
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)
- Том: 1698
- Год издания: 2016
- Издательство: Humboldt Universitet Zu Berlin
- Местоположение издательства: Berlin, Germany
- Первая страница: 233
- Последняя страница: 244
- Добавил в систему: Захаров Владимир Анатольевич