Shi G. Advanced Symbolic Analysis for VLSI Systems. Methods and Applications / G. Shi, Sh. X.-D. Tan, E. T. Cuautle, 2014 r=on-line. - Текст : электронный.