Efficient Solution of Language Equations Using Partitioned Representations.

Alan Mishchenko, Robert K. Brayton, Jie-Hong Roland Jiang, Tiziano Villa, Nina Yevtushenko

Browse the full DATE paper archive.