Assisted Problem Solving and Decompositions of Finite Automata.

Peter Gazi, Branislav Rovan

Browse the full SOFSEM paper archive.