Computer Aided Verification, 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings

Rajeev Alur Doron Peled Computer Aided Verification, 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings CAV Lecture Notes in Computer Science 3114 Springer 2004 3-540-22342-8 db/conf/cav/cav2004.html