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.