![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Author: Zhang Zhihai Kapur Deepak
Publisher: Springer Publishing Company
ISSN: 1009-6124
Source: Journal of Systems Science and Complexity, Vol.26, Iss.3, 2013-06, pp. : 470-482
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Related content
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
By Kupferman O. Vardi M.Y. Wolper P.
Information and Computation, Vol. 164, Iss. 2, 2001-01 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Model Checking Mobile Processes
By Dam M.
Information and Computation, Vol. 129, Iss. 1, 1996-08 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
By Brinkman Daniel Olver Peter J.
American Mathematical Monthly, Vol. 119, Iss. 1, 2012-01 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Pushdown Processes: Games and Model-Checking
Information and Computation, Vol. 164, Iss. 2, 2001-01 ,pp. :