|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Tools and Algorithms for the Construction and Analysis of Systemsсборник
- Год издания: 2021
- Издательство: Springer International Publishing
- Местоположение издательства: New York
- ISBN: 978-3-030-72012-4
- Добавил в систему: Корныхин Евгений Валерьевич
Статьи, опубликованные в сборнике
-
- 2021 cpalockator: Thread-Modular Analysis with Projections
- Andrianov Pavel, Mutilin Vadim, Khoroshilov Alexey
- в сборнике Tools and Algorithms for the Construction and Analysis of Systems, издательство Springer International Publishing (New York), с. 423-427 DOI