|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
On-the-fly decomposition of specifications in software model checkingстатья
Информация о цитировании статьи получена из
Web of Science,
Scopus
Дата последнего поиска статьи во внешних источниках: 13 февраля 2017 г.
- Авторы: Apel Sven, Beyer Dirk, Mordan Vitaly, Mutilin Vadim, Stahlbauer Andreas
- Сборник: Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2016
- Год издания: 2016
- Первая страница: 349
- Последняя страница: 361
- DOI: 10.1145/2950290.2950349
- Добавил в систему: Мордань Виталий Олегович