Skip to content

ReFaM: A Software Tool for Minimizing Nondeterministic Finite Automata.

Andrey V. Tsyganov

Year2012
ProceedingsSYNASC

Browse the full SYNASC paper archive.