TY  - BOOK
AU  - Харитонова, И.А.
TI  - Диалоговая система логического моделирования цифровых устройств
T2  - АН СССР, Ленинградский научно-исследовательский ВЦ
VL  - № 25
PY  - 1981///
CY  - Л.
PB  - ЛИЯФ
ER  -