Ana Sofia Gomes
AuthID: R-00H-3NR
1
TITLE: Transaction Logic with (Complex) Events PDF
AUTHORS: Ana Sofia Gomes; José Júlio Alferes ;
PUBLISHED: 2014, SOURCE: CoRR, VOLUME: abs/1405.3790
AUTHORS: Ana Sofia Gomes; José Júlio Alferes ;
PUBLISHED: 2014, SOURCE: CoRR, VOLUME: abs/1405.3790
INDEXED IN: 
DBLP 
arXiv
DBLP arXiv