Pierre Wolper Computer Aided Verification, 7th International Conference, Liège, Belgium, July, 3-5, 1995, Proceedings CAV Lecture Notes in Computer Science 939 Springer 1995 3-540-60045-0 db/conf/cav/cav95.html