TitleAutomata for KAT Expressions Publication TypePreprint AuthorsBroda S, Machiavelo A, Moreira N, Reis R [2014-35]
