Author: Song Chiann-Ru
Publisher: Emerald Group Publishing Ltd
ISSN: 1468-4527
Source: Online Information Review, Vol.27, Iss.3, 2003-06, pp. : 196-206
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
By Davis Megan Dautenhahn Kerstin Nehaniv Chrystopher Powell Stuart
Universal Access in the Information Society (UAIS), Vol. 6, Iss. 2, 2007-09 ,pp. :
Learning to verify branching time properties
By Vardhan Abhay Viswanathan Mahesh
Formal Methods in System Design, Vol. 31, Iss. 1, 2007-08 ,pp. :