Computer Aided Verification, 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000, Proceedings

E. Allen Emerson A. Prasad Sistla Computer Aided Verification, 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000, Proceedings CAV Lecture Notes in Computer Science 1855 Springer 2000 3-540-67770-4 db/conf/cav/cav2000.html