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.












