Journal of Logic and Algebraic Programming, Volume 65

Volume 65, Number 1, September-October 2005

• Liana Bozga, Cristian Ene, Yassine Lakhnech:
  A symbolic decision procedure for cryptographic protocols with time stamps. 1-35
  Electronic Edition (link) BibTeX
• Magne Haveraaen, Helmer André Friis, Hans Z. Munthe-Kaas:
  Computable scalar fields: A basis for PDE software. 36-49
  Electronic Edition (link) BibTeX

Volume 65, Number 2, November-December 2005

• E. M. Bortnik, Nikola Trcka, Anton Wijs, Bas Luttik, J. M. van de Mortel-Fronczak, Jos C. M. Baeten, Wan Fokkink, J. E. Rooda:
  Analyzing a chi model of a turntable system using Spin, CADP and Uppaal. 51-104
  Electronic Edition (link) BibTeX