Author: Wu Zhaohui Li Hong Yang Guoqing Gao Zhigang Lv Pan
Publisher: Emerald Group Publishing Ltd
ISSN: 1742-7371
Source: International Journal of Pervasive Computing and Communications, Vol.6, Iss.2, 2010-01, pp. : 179-191
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
Model checking with bounded context switching
Formal Aspects of Computing, Vol. 23, Iss. 3, 2011-05 ,pp. :
The OSCON Operating System Consultant
By Mc Kevitt P.
Artificial Intelligence Review, Vol. 14, Iss. 1-2, 2000-04 ,pp. :