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. 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]

Authors

Nina Yevtushenko

This author has not been identified. Look up 'Nina Yevtushenko' in Google

Tiziano Villa

This author has not been identified. Look up 'Tiziano Villa' in Google

Robert K. Brayton

This author has not been identified. Look up 'Robert K. Brayton' in Google

Alexandre Petrenko

This author has not been identified. Look up 'Alexandre Petrenko' in Google

Alberto L. Sangiovanni-Vincentelli

This author has not been identified. Look up 'Alberto L. Sangiovanni-Vincentelli' in Google