Verification of timed process algebra and beyond

by ZHANG XIAN
Published 2012

Poly[(μ2-4,4′-bipyridine-κ2N:N′)(μ2-2,2-dimethylcyclopentane-1,3-dicarboxylato-κ4O1,O1′:O3,O3′)cadmium]

by Zhang, Xian-Fa, Gao, Shan, Ng, Seik Weng
Published 2011

Adjustment Behaviour Of Leverage In Chinese Firms: An Empirical Analysis Of Overall Firms, State-Owned And Non State-Owned Enterprises

by Mirza, Sultan Sikandar, ur Rehman, Ajid, Zhang, XianZhi
Published 2016

Gateway design for LAN interconnection via ISDN

by ZHANG, Xian-Yu, DENG, Robert H.
Published 1990

Towards verification of computation orchestration

by Dong, Jin Song, Liu, Yang, Sun, Jun, Zhang, Xian
Published 2013

Verifying stateful timed CSP using implicit clocks and zone abstraction

by SUN, Jun, LIU, Yang, DONG, Jin Song, ZHANG, Xian
Published 2009

Towards verification of computation orchestration

by DONG, Jin Song, LIU, Yang, SUN, Jun, ZHANG, Xian
Published 2014

Specifying and verifying sensor networks: An experiment of formal methods

by DONG, Jin Song, SUN, Jing, SUN, Jun, TAGUCHI, Kenji, ZHANG, Xian
Published 2008

Impact of microsecond-pulsed plasma-activated water on papaya seed germination and seedling growth

by Xi, Deng-Ke, Zhang, Xian-Hui, Yang, Si-Ze, Yap, Seong Shan, Ishikawa, Kenji, Hori, Masura, Yap, Seong Ling
Published 2022

Towards formal modelling and verification of pervasive computing systems

by LIU, Yan, ZHANG, Xian, LIU, Yang, DONG, Jin Song, SUN, Jun, BISWAS, Jit, MOKHTARI, Mounir
Published 2014

Formal analysis of pervasive computing systems

by LIU, Yan, ZHANG, Xian, DONG, Jin Song, LIU, Yang, SUN, Jun, BISWAS, Jit, MOKHTARI, Mounir
Published 2012

Thallium isotopic compositions as tracers in environmental studies: a review

by Zhong, Qiaohui, Qi, Jianying, Liu, Juan, Wang, Jin, Lin, Ke, Ouyang, Qi'en, Zhang, Xian, Wei, Xudong, Xiao, Tangfu, El-Naggar, Ali, Rinklebe, Jörg
Published 2022

Robust RNAi enhancement via human Argonaute-2 overexpression from plasmids, viral vectors and cell lines

by Börner, Kathleen, Niopek, Dominik, Cotugno, Gabriella, Kaldenbach, Michaela, Pankert, Teresa, Willemsen, Joschka, Zhang, Xian, Schürmann, Nina, Streetz, Konrad, Kräusslich, Hans-Georg, Mockenhaupt, Stefan, Serva, Andrius, Grimm, Dirk, Hiet, Marie-Sophie, Wiedtke, Ellen, Binder, Marco, Castoldi, Mirco, Starkuviene, Vytaute, Erfle, Holger, Bartenschlager, Ralf, Boutros, Michael, Gilbert, Daniel F.
Published 2014