Publikation

Deduction in the Verification Support Environment (VSE)

Dieter Hutter, Bruno Langenstein, Claus Sengler, Jörg Siekmann, Werner Stephan, Andreas Wolpers

In: J. Woodcock , M. C. Gaudel (Hrsg.). Proceedings of the Third International Symposium of Formal Methods Europe: Industrial Benefit and Advances in Formal Methods. Formal Methods Europe (FME-96) 3rd March 17-21 Oxford United Kingdom Seiten 168-286 Lecture Notes In Computer Science (LNCS) 1051 ISBN 3-540-60973-3 Springer-Verlag London, UK 1996.

http://www.dfki.de/vse/papers/hlss96.ps.gz (gz, 56 KB )

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence