共 50 条
[27]
A Library for Formalization of Linear Error-Correcting Codes
[J].
Journal of Automated Reasoning,
2020, 64
:1123-1164
[30]
Systolic decoder for burst error-correcting codes
[J].
IEE PROCEEDINGS-COMMUNICATIONS,
1998, 145 (03)
:126-132