Transaction Logic with (Complex) Events

Citation:
Alferes, José Júlio, and Ana Sofia Gomes. "Transaction Logic with (Complex) Events." International Conference on Logic Programming. 2014.

Abstract:

n/a

Notes:

n/a

PreviewAttachmentSize
iclp14.pdf533.96 KB