Travelled to:1 × Brazil
Collaborated with:C.Xu H.Wang
Talks about:synchron (1) verifi (1) model (1) bpel (1) use (1) net (1)
Person: Wanling Qu
DBLP: Qu:Wanling
Contributed to:
Wrote 1 papers:
- SAC-2008-XuWQ #modelling #using #verification
- Modeling and verifying BPEL using synchronized net (CX, HW, WQ), pp. 2358–2362.












