Finite State Machine Synthesis Based on Relay-Based Algorithm.

M. Yang, Jinmei Lai, Hongying Xu

Browse the full DSD paper archive.