|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
An invariant-based approach to the verification of asynchronous parameterized networksстатья
Информация о цитировании статьи получена из
Scopus,
Web of Science
Статья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 18 июля 2013 г.
- Авторы: Konnov I.V., Zakharov V.A.
- Журнал: Journal of Symbolic Computation
- Том: 45
- Номер: 11
- Год издания: 2010
- Издательство: Academic Press
- Местоположение издательства: United States
- Первая страница: 1144
- Последняя страница: 1162
- Добавил в систему: Захаров Владимир Анатольевич