Additional Metadata
THEME Software (theme 1)
Publisher IEEE Computer Society
Journal IEEE Transactions on Service Computing
Citation
Kokash, N, & Arbab, F. (2012). Formal design and verification of long-running transactions with eclipse coordination tools. IEEE Transactions on Service Computing.