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

Hiroyuki Higuchi, Yusuke Matsunaga (1996)
a service of Schloss Dagstuhl - Leibniz Center for Informatics