Computer aided verification : Proceedings, Elounda, Greece, June 28 - July 1, 1993 - Courcoubetis, Costas (Lecture notes in computer science, 1993)