Author: Lai C. H. Tsay T. I. James
Publisher: Taylor & Francis Ltd
ISSN: 1568-5535
Source: Advanced Robotics, Vol.25, Iss.9-10, 2011-06, pp. : 1183-1208
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
Decidability Issues for Extended Ping-Pong Protocols
Journal of Automated Reasoning, Vol. 36, Iss. 1-2, 2006-01 ,pp. :