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

Nina Yevtushenko, Tiziano Villa, Robert K. Brayton, Alexandre Petrenko, Alberto L. Sangiovanni-Vincentelli

Browse the full DATE paper archive.