DMCA

Formal Design and Verification of Long-Running Transactions with Eclipse Coordination Tools

by Natallia Kokash , Farhad Arbab
Citations:2 - 0 self