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 BibTeX
@proceedings{DBLP:conf/cav/1992,
editor = {Gregor von Bochmann and
David K. Probst},
title = {Computer Aided Verification, Fourth International Workshop, CAV
'92, Montreal, Canada, June 29 - July 1, 1992, Proceedings},
booktitle = {CAV},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {663},
year = {1993},
isbn = {3-540-56496-9},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
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 © Sat May 16 23:00:36 2009
by Michael Ley (ley@uni-trier.de)