On Parallel Symbolic Analysis of Large Networks and Systems. - Tadashi Matsumoto 002; Tetsuya Sakabe; Kohkichi Tsuji (ISCAS, 1993)