Lin, K.K.Lin林呈祥Lin, Chen-ShangChen-ShangLin2009-02-042018-07-062009-02-042018-07-061992http://ntur.lib.ntu.edu.tw//handle/246246/121499en-USOn the Verification of State Coding in STGsconference paper