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

6. CAV 1994: Stanford, California, USA

David L. Dill (Ed.): Computer Aided Verification, 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994, Proceedings. Lecture Notes in Computer Science 818 Springer 1994, ISBN 3-540-58179-0 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Real Time

Symbolic Verification 1

Hybrid Systems

Theory 1

Applications

Invited Talk

Theory 2

Hardware Verification 1

Symbolic Verification 2

Model Checking 1

Improving Efficiency

Model Checking 2

Hardware Verification 2

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