MPG.eBooks - Author Search Results

Cover Image

1

Computer Aided Verification : 5th International Conference, CAV '93 Elounda, Greece, June 28–July 1, 1993 Proceedings

by Courcoubetis, Costas
Published 1993

Springer

Cover Image

2

Computer Aided Verification : 5th International Conference, CAV'93, Elounda, Greece, June 28 - July 1, 1993. Proceedings

Published 1993

Springer Berlin Heidelberg

Other Authors: “...Courcoubetis, Costas...”