Author： Woon Wei Madnick Stuart
Publisher： Springer Publishing Company
ISSN： 0219-1377
Source： Knowledge and Information Systems, Vol.21, Iss.1, 2009-10, pp. : 91-111
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
Automated Proofs for Asymmetric Encryption
By Courant J. Daubignard M. Ene C. Lafourcade P. Lakhnech Y.
Journal of Automated Reasoning, Vol. 46, Iss. 3-4, 2011-04 ,pp. :
Access to resources
Recommend
Automated Procedure Construction for Deductive Synthesis
By Roach Steve
Automated Software Engineering, Vol. 12, Iss. 4, 2005-10 ,pp. :
On the Automated Construction of Image-Based Maps
By Bourque E.
Autonomous Robots, Vol. 8, Iss. 2, 2000-04 ,pp. :