|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
An invariant-based approach to the verification of asynchronous parameterized networksстатья
- Авторы: Konnov I.V., Zakharov V.A.
- Сборник: Proceedings of the 1-st International Workshop on Invariant Generation, June 25-26, 2007, Hagenberg, Austria
- Год издания: 2007
- Место издания: Hagenberg, Austria
- Первая страница: 41
- Последняя страница: 55
- Добавил в систему: Захаров Владимир Анатольевич