Search results for: Xia Yong
Lecture Notes in Computer Science > FM’99 — Formal Methods > European Theory and Practice of Software (ETAPS) > 1008-1027
Lecture Notes in Computer Science > Integrated Formal Methods > Linking and Extending Notations > 25-44
Journal of Traditional Chinese Medicine > 2015 > 35 > 1 > 110-116
Optics and Lasers in Engineering > 2012 > 50 > 4 > 586-592
Journal of Acupuncture and Tuina Science > 2011 > 9 > 5 > 278-282
Chinese Journal of Analytical Chemistry > 2008 > 36 > 4 > 467-472
Acta Mechanica Solida Sinica > 2007 > 20 > 3 > 228-235
Pattern Recognition Letters > 2005 > 26 > 8 > 1059-1068