Journal of Automated Reasoning (JAR), Volume 41

Volume 41, Number 1, July 2008

Volume 41, Number 2, August 2008

Volume 41, Numbers 3-4, November 2008

Special Issue: Formal Modeling and Verification of Critical Systems