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

2. CAV 1990: New Brunswick, NJ, USA

Edmund M. Clarke, Robert P. Kurshan (Eds.): Computer Aided Verification, 2nd International Workshop, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990, Proceedings. Lecture Notes in Computer Science 531 Springer 1991, ISBN 3-540-54477-1 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

1. Tools and Computation

2. Partial Orders

3. Reduction in Finite State Systems

4. Automaton Models

5. Model Synthesis

6. Theorem-Provers

7. Process Algebra

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