RUS
ENG
Full version
PEOPLE
Zakharov Aleksei Vladimirovich
Publications in Math-Net.Ru
Automatic data race error detection in systemC models
Model. Anal. Inform. Sist.
,
18
:4 (2011),
94–105
©
Steklov Math. Inst. of RAS
, 2024
