RUS
ENG
Full version
PEOPLE
Sotnikov A P
Publications in Math-Net.Ru
Experiments on parallel composition of timed finite state machines
Proceedings of ISP RAS
,
29
:3 (2017),
233–246
©
Steklov Math. Inst. of RAS
, 2024
