Login / Signup

ReFaM: A Software Tool for Minimizing Nondeterministic Finite Automata.

Andrey V. Tsyganov
Published in: SYNASC (2012)
Keyphrases