Computer aided verification. 5th international conference, CAV '93, Elounda, Greece, June 28 - July 1, 1993. Proceedings

zbMath0825.00130MaRDI QIDQ1309679

No author found.

Publication date: 7 December 1993

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

zbMATH Keywords

Conference; Proceedings; Computer aided verification; CAV '93; Elounda (Greece)

Mathematics Subject Classification ID

00B25: Proceedings of conferences of miscellaneous specific interest

68-06: Proceedings, conferences, collections, etc. pertaining to computer science

Related Items

On Distributive Fixed-Point Expressions, An automatic abstraction technique for verifying featured, parameterised systems, Is your model checker on time? On the complexity of model checking for timed modal logics, The Birth of Model Checking