Equisolvability of Series vs. Controller's Topology in Synchronous Language Equations.

Nina Yevtushenko Tiziano Villa Robert K. Brayton Alexandre Petrenko Alberto L. Sangiovanni-Vincentelli Equisolvability of Series vs. Controller's Topology in Synchronous Language Equations. 45-50 2002 IWLS db/conf/iwls/iwls2002.html#YevtushenkoVBPS02