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