Author: Dix J. Subrahmanian V.S. Pick G.
Publisher: Elsevier
ISSN: 0743-1066
Source: The Journal of Logic Programming, Vol.46, Iss.1, 2000-11, pp. : 1-60
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
Verifying Multi-agent Programs by Model Checking
Autonomous Agents and Multi-Agent Systems, Vol. 12, Iss. 2, 2006-03 ,pp. :
By Emery Jill
The Charleston Advisor, Vol. 5, Iss. 2, 2003-10 ,pp. :