publicações selecionadas artigo de conferência Bisimilarity and refinement for hybrid(ised) logics. Electronic Proceedings in Theoretical Computer Science. 2013
