RUS
ENG
Full version
PEOPLE
Izmaylov Aleksandr Aleksandrovich
Publications in Math-Net.Ru
Automated analysis of DP-systems using timed-arc Petri nets via TAPAAL tool
Proceedings of ISP RAS
,
32
:6 (2020),
155–166
©
Steklov Math. Inst. of RAS
, 2024
