dblp.uni-trier.de www.uni-trier.de

5. CAV 1993: Elounda, Greece

Costas Courcoubetis (Ed.): Computer Aided Verification, 5th International Conference, CAV '93, Elounda, Greece, June 28 - July 1, 1993, Proceedings. Lecture Notes in Computer Science 697 Springer 1993, ISBN 3-540-56922-7 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Invited Lecture

Session 1: hardware Verification with BDDs

Session 2: Methods and Tools

Session 3: Theorem Proving 1

Session 4: Analysis of Real-Time Systems 1

Session 5: Theorem Proving 2

Invited Lecture

Session 6: Analysis of Real-Time Systems 2

Session 8: Partial Orders

Session 9: Exploiting Symmetry

Copyright © Mon Nov 2 20:23:14 2009 by Michael Ley (ley@uni-trier.de)