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

4. CAV 1992: Montreal, Canada

Gregor von Bochmann, David K. Probst (Eds.): Computer Aided Verification, Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992, Proceedings. Lecture Notes in Computer Science 663 Springer 1993, ISBN 3-540-56496-9 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Invited Lecture

Session: Reduction Techniques 1

Session: Proof Checking

Session: Symbolic Verification 1

Session: Timing Verification 1

Session: Partial-Order Approaches

Session: Case Studies

Session: Reduction Techniques 2

Session: Timing Verification 2

Session: Model and Proof Checking

Session: Other Approaches

Session: Symbolic Verification 2

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