RUS
ENG
Full version
PEOPLE
Mashukov Mikhail Yur'evich
Publications in Math-Net.Ru
Verification of telecommunication systems specified by communicating finite automata with the help of coloured Petri nets
Model. Anal. Inform. Sist.
,
18
:4 (2011),
144–156
©
Steklov Math. Inst. of RAS
, 2026
