RUS
ENG
Full version
PEOPLE
Egorov Kirill Viktorovich
Publications in Math-Net.Ru
Application of genetic programming and model checking for finite-state machine induction
Tr. SPIIRAN
,
15
(2010),
123–135
©
Steklov Math. Inst. of RAS
, 2024