Computer aided verification : 5th international conference, CAV '93, Elounda, Greece, June 28-July 1, 1993 : proceedings / - Courcoubetis, Costas. (Springer-Verlag,, 1993)