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