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

3. CAV 1991: Aalborg, Denmark

Kim Guldstrand Larsen, Arne Skou (Eds.): Computer Aided Verification, 3rd International Workshop, CAV '91, Aalborg, Denmark, July, 1-4, 1991, Proceedings. Lecture Notes in Computer Science 575 Springer 1992, ISBN 3-540-55179-4 BibTeX
@proceedings{DBLP:conf/cav/1991,
  editor    = {Kim Guldstrand Larsen and
               Arne Skou},
  title     = {Computer Aided Verification, 3rd International Workshop, CAV
               '91, Aalborg, Denmark, July, 1-4, 1991, Proceedings},
  booktitle = {CAV},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {575},
  year      = {1992},
  isbn      = {3-540-55179-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Session 1: Equivalence Checking

Session 2: Model Checking

Session 3: Applications 1

Session 4: Applications 2

Session 5: Tools for Process Algebras

Session 6: The State Explosion Problem

Session 7: Symbolic Model Checking

Session 8: Verification and Transformation Techniques

Session 9: Higher Order Logic

Session 10: Partial Order Approaches

Session 11: Hardware Verification

Session 13: Timed Specification and Verification 1

Session 14: Timed Specification and Verification 2

Session 15: Automata

Copyright © Sat May 16 23:00:36 2009 by Michael Ley (ley@uni-trier.de)