RUS
ENG
Full version
PEOPLE
Wahid K
Publications in Math-Net.Ru
HDL constructs in linear word-level decision diagram based specification
Avtomat. i Telemekh.
, 2004, no. 6,
84–92
©
Steklov Math. Inst. of RAS
, 2024