Wang, J. P.J. P.Wang林呈祥Lin, Chen-ShangChen-ShangLin2009-02-042018-07-062009-02-042018-07-061990-12http://ntur.lib.ntu.edu.tw//handle/246246/121380en-USFIPOC:a Finite State Machine Synthesizerconference paper