RUS
ENG
Full version
PEOPLE
Mikhaylov Vladimir Evgen'evich
Publications in Math-Net.Ru
Tool for behavioral analysis of well-structured transition systems
Proceedings of ISP RAS
,
29
:4 (2017),
175–190
©
Steklov Math. Inst. of RAS
, 2024
