Voltar aos Detalhes do Artigo
A Methodology for Opacity verification for Transactional Memory algorithms using Graph Transformation System
Baixar
##common.downloadPdf##