Courcoubetis, Costas, Ed.
Computer Aided Verification : 5th International conference, CAV,93, Elounda, Greece, June/July 1993, Proceedings - Berlin Springer Verlag 1993 - 504 - Lecture notes in computer science ; 00697 .
3540569227
Computer Aided Verification
LNCS 697
681 LNCS
Computer Aided Verification : 5th International conference, CAV,93, Elounda, Greece, June/July 1993, Proceedings - Berlin Springer Verlag 1993 - 504 - Lecture notes in computer science ; 00697 .
3540569227
Computer Aided Verification
LNCS 697
681 LNCS