"Divide & Conquer: A Strategy for Synthesis of Low Power Finite State ..."

Aurobindo Dasgupta, Shantanu Ganguly (1997)
a service of Schloss Dagstuhl - Leibniz Center for Informatics