2012-01-01
Formal design and verification of long-running transactions with eclipse coordination tools
Publication
Publication
| 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.
|