|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Proceedings of the 1-st International Workshop on Invariant Generation, June 25-26, 2007, Hagenberg, Austriaсборник
- Год издания: 2007
- Место издания: Hagenberg, Austria
- Добавил в систему: Захаров Владимир Анатольевич
Статьи, опубликованные в сборнике
-
- 2007 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, место издания Hagenberg, Austria, с. 41-55