Proceedings of 9th Workshop “Program Semantics, Specification and Verification: Theory and Applications" (PSSV-2018), Yaroslavl, Russia, June 21-22, 2018 - сборник | ИСТИНА – Интеллектуальная Система Тематического Исследования НАукометрических данных

Proceedings of 9th Workshop “Program Semantics, Specification and Verification: Theory and Applications" (PSSV-2018), Yaroslavl, Russia, June 21-22, 2018сборник

Год издания: 2018
Издательство: Яросл. гос. ун-т
Местоположение издательства: Ярославль
Добавил в систему: Захаров Владимир Анатольевич

Статьи, опубликованные в сборнике

- 2018 A new method of verification of security protocols
- Mironov A.M.
- в сборнике Proceedings of 9th Workshop “Program Semantics, Specification and Verification: Theory and Applications" (PSSV-2018), Yaroslavl, Russia, June 21-22, 2018, издательство Яросл. гос. ун-т (Ярославль), с. 68-78
- 2018 On the expressive power of some extensions of Linear Temporal Logic
- Gnatenko Anton, Zakharov Vladimir
- в сборнике Proceedings of 9th Workshop “Program Semantics, Specification and Verification: Theory and Applications" (PSSV-2018), Yaroslavl, Russia, June 21-22, 2018, издательство Яросл. гос. ун-т (Ярославль), с. 29-36