On the Equivalence of Automata for KAT-expressions.

Sabine Broda, Antnio Machiavelo, Nelma Moreira, Rogrio Reis

Browse the full CiE paper archive.