RUS
ENG
Full version
PEOPLE
Lebedev Pavel Valer'evich
Publications in Math-Net.Ru
Polynomial algorithm of verification for subset of PLTL logic
Model. Anal. Inform. Sist.
,
19
:2 (2012),
115–137
©
Steklov Math. Inst. of RAS
, 2026
