Nina Yevtushenko, Tiziano Villa, Robert K. Brayton, Alexandre Petrenko, Alberto L. Sangiovanni-Vincentelli. Equisolvability of Series vs. Controller s Topology in Synchronous Language Equations. In 2003 Design, Automation and Test in Europe Conference and Exposition (DATE 2003), 3-7 March 2003, Munich, Germany. pages 11154-11155, IEEE Computer Society, 2003. [doi]
Abstract is missing.