Xu Wang
发表
Hoang Nga Nguyen,
F. Moller,
H. Treharne,
2016
.
Henri Hansen,
Xu Wang,
Henri Hansen,
2011,
Petri Nets.
A. W. Roscoe,
Xu Wang,
Ranko Lazic,
2004,
IFM.
Xu Wang,
Shuling Wang,
Shuling Wang,
2012,
VERIFY@IJCAR.
Marta Z. Kwiatkowska,
Xu Wang,
M. Kwiatkowska,
2006,
Sixth International Conference on Application of Concurrency to System Design (ACSD'06).
Henri Hansen,
Xu Wang,
Henri Hansen,
2011,
2011 Eleventh International Conference on Application of Concurrency to System Design.
A. W. Roscoe,
Henri Hansen,
Thomas Gibson-Robinson,
2015,
NFM.
Marta Z. Kwiatkowska,
Xu Wang,
Qianyi Zhang,
2005,
AVoCS.