AMORE: A System for Computing Automata, MOnoids, and Regular Expressions.

V. Kell, Albert Maier, Andreas Potthoff, Wolfgang Thomas, U. Wermuth

Browse the full STACS paper archive.