Dissertação de mestrado Acesso aberto

Regular expressions for timed automata