17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005. Proceedings
Lecture Notes in Computer Science > Computer Aided Verification > Decision Procedures and Applications > 307-320
Lecture Notes in Computer Science > Computer Aided Verification > Decision Procedures and Applications > 321-334
Lecture Notes in Computer Science > Computer Aided Verification > Decision Procedures and Applications > 335-349