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 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

By  

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

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 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 154, Number 2 (1999), in the article “The Integrated Space-Time Finite Volume Method and Its Application to Moving Boundary Problems,”- by P. J. Zwart, G. D. Raithby, and M. J. Raw, pages 497–519 (doi:10.1006/jcph.1999.6324)

By  

Journal of Computational Physics, Vol. 162, Iss. 1, 2000-07 ,pp. : 298-298

Academic Press

Access to resources Recommend Favorite