Fsa utilities: A toolbox to manipulate finite-state automata (1997)

by Gertjan van Noord
Venue:Automata Implementation, Springer Verlag, Lecture Notes in Computer Science 1260