Ермакова Вера Олеговна
Публикации2
- Глава книги Lomazova I. A., Ermakova V. Verification of Nested Petri Nets Using an Unfolding Approach, in: CEUR Workshop Proceedings Vol. 1591: Petri Nets and Software Engineering. International Workshop, PNSE'16, Torun, Poland, June 20-21, 2016. Proceedings. CEUR Workshop Proceedings, 2016. P. 93-112.
- Статья Ермакова В. О., Ломазова И. А. Трансляция вложенных сетей Петри в классические сети Петри для верификации разверток // Труды Института системного программирования РАН. 2016. Т. 28. № 4. С. 115-136. doi