Author： Espada Miguel Pol Jaco
Publisher： Springer Publishing Company
ISSN： 0925-9856
Source： Formal Methods in System Design, Vol.30, Iss.3, 2007-06, pp. : 249-273
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
A Direct Approach to Computing the
Journal of Symbolic Computation, Vol. 31, Iss. 5, 2001-05 ,pp. :
Access to resources
Recommend
Inversion Problems in the
By Area I. Godoy E. Ronveaux A. Zarzo A.
Journal of Symbolic Computation, Vol. 28, Iss. 6, 1999-12 ,pp. :
Automatic Derivation of the Irrationality of
By Beeson M.
Journal of Symbolic Computation, Vol. 32, Iss. 4, 2001-09 ,pp. :