Travelled to:
1 × USA
Collaborated with:
Z.Huang J.Zhao X.Li
Talks about:
transact (1) automat (1) verif (1) multi (1) model (1) busi (1)
Person: Min Yuan
DBLP: Yuan:Min
Contributed to:
Wrote 1 papers:
- SEKE-2009-YuanHZL #automation #modelling #multi #transaction #verification
- Modeling and Verification of Automatic Multi-business Transactions (MY, ZH, JZ, XL), pp. 274–279.