Volume 163, No. 1 (2000), in the article “Verification by Augmented Finitary Abstraction,” by Yonit Kesten and Amir Pnueli, pages 203–243, doi:10.1006/inco.2000.3000

Author：  

Publisher： Academic Press

ISSN： 0890-5401

Source： Information and Computation, Vol.172, Iss.1, 2002-01, pp. : 98-100

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Volume 159, Number 2 (2000), in the article “An Algorithm for Solving Boundary Value Problems”, by Elias Deeba, S. A. Khuri, and Shishen Xie, pages 125–138 (doi:10.1006/jcph.2000.6452)

By  

Journal of Computational Physics, Vol. 170, Iss. 1, 2001-06 ,pp. : 448-448

Academic Press

Access to resources Recommend Favorite

Volume 177, Number 2 (2002), in the article “Mobile Objects as Mobile Processes,” by Massimo Merro, Josva Kleist, and Uwe Nestmann, pages 195–241 (doi:10.1006/inco.2002.3172; PII: S0890-5401(02)93172-X)

By  

Information and Computation, Vol. 179, Iss. 2, 2002-12 ,pp. : 384-384

Academic Press

Access to resources Recommend Favorite

Volume 158, Number 1 (2000), “Compact Implicit MacCormack-Type Schemes with High Accuracy,” by R. Hixon and E. Turkel, pages 51–70 (doi:10.1006/jcph.1999.6406)

By  

Journal of Computational Physics, Vol. 163, Iss. 2, 2000-09 ,pp. : 547-547

Academic Press

Access to resources Recommend Favorite

Volume 41, Number 2 (2001), in the article “Approximation Algorithms for the Achromatic Number,” by Amitabh Chaudhary and Sundar Vishwanathan, pages 404–416 (doi:10.1006/jagm.2001.1192)

By  

Journal of Algorithms, Vol. 43, Iss. 1, 2002-04 ,pp. : 153-153

Academic Press

Access to resources Recommend Favorite

Volume 165, Number 2 (2000), in the article “Vortex Methods for High-Resolution Simulations of Viscous Flow Past Bluff Bodies of General Geometry”, by P. Ploumhans and G. S. Winckelmans, pages 354–406 (doi:10.1006/jcph.2000.6614)

By  

Journal of Computational Physics, Vol. 170, Iss. 1, 2001-06 ,pp. : 449-456

Academic Press

Access to resources Recommend Favorite