

Author: Janzen M.E. Vicente K.J.
Publisher: Academic Press
ISSN: 1071-5819
Source: International Journal of Human-Computer Studies, Vol.48, Iss.4, 1998-04, pp. : 521-545
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 Kunitsa A.
Russian Chemical Bulletin, Vol. 60, Iss. 9, 2011-09 ,pp. :




Verification by Augmented Finitary Abstraction
Information and Computation, Vol. 163, Iss. 1, 2000-11 ,pp. :


Abstraction in conceptual model design
International Journal of Human-Computer Studies, Vol. 46, Iss. 1, 1997-01 ,pp. :


STUDIES IN APPLIED MATHEMATICS, Vol. 63, Iss. 3, 1980-12 ,pp. :