ACM Transactions on Design Automation of Electronic Systems. - Журнал r=on-line. - Текст : непосредственный.