Ana Sofia Gomes


AuthID: R-00H-3NR

Publications Awaiting Confirmation

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

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service