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

7. CAV 1995: Liège, Belgium

Pierre Wolper (Ed.): Computer Aided Verification, 7th International Conference, Liège, Belgium, July, 3-5, 1995, Proceedings. Lecture Notes in Computer Science 939 Springer 1995, ISBN 3-540-60045-0 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Session 1: Invited Talk

Session 2

Session 3

Session 4

Session 5: Invited Tutorial

Session 6

Session 7

Session 8

Session 9: Invited Talk

Session 10

Sesion 11

Session 12

Last update Thu May 23 16:29:48 2013 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page