Wenrui Meng
发表
Bow-Yaw Wang,
Fei He,
Liangze Yin,
2013,
ATVA.
Insup Lee,
Oleg Sokolsky,
Stephanie Weirich,
2015,
NFM.
Qiang Liu,
Jie Li,
Wenrui Meng,
2010,
2010 Third International Conference on Communication Theory, Reliability, and Quality of Service.
Qiang Liu,
Bow-Yaw Wang,
Fei He,
2012,
NASA Formal Methods.