Protocol Verification by Aggregation of Distributed Transactions.

Seungjoon Park, David L. Dill

Browse the full CAV paper archive.