Skip to content

A Fast State Reduction Algorithm for Incompletely Specified Finite State Machines.

Hiroyuki Higuchi, Yusuke Matsunaga

VenueA*DAC
Year1996
ProceedingsDAC

Browse the full DAC paper archive.