Ana Sofia Gomes
AuthID: R-00H-3NR
1
TÃTULO: Transaction Logic with (Complex) Events PDF
AUTORES: Ana Sofia Gomes; José Júlio Alferes ;
PUBLICAÇÃO: 2014, FONTE: CoRR, VOLUME: abs/1405.3790
AUTORES: Ana Sofia Gomes; José Júlio Alferes ;
PUBLICAÇÃO: 2014, FONTE: CoRR, VOLUME: abs/1405.3790
INDEXADO EM: DBLP arXiv