You are about to access our book library "Computer Aided Verification: 5th International Conference, Cav '93 Eloybdam Greece, June 28-July 1, 1993 Proceedings (Lecture Notes in Computer Science) full version" .