Modeling and Verification of Automatic Multi-business Transactions.

Min Yuan, Zhiqiu Huang, Jian Zhao, Xiang Li

Browse the full SEKE paper archive.