|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Using adaptive symmetry reduction for LTL model checkingстатья
- Авторы: Konnov I.V., Zakharov V.A.
- Сборник: Труды семинара «Семантика, спецификация и верификация программ: теория и приложения». Казань, 14-15 июня 2010
- Год издания: 2010
- Первая страница: 5
- Последняя страница: 11
- Добавил в систему: Захаров Владимир Анатольевич