Skip to main content Skip to main navigation

Publications

Search narrowed by:

Year: 1994
Remove all filters
Displaying results 101 to 105 of 105.

  1. Dieter Hutter; Bruno Langenstein; Claus Sengler; Werner Stephan

    Deduction in the Verification Support Environment (VSE)

    In: B. Buth; R. Berghammer (Hrsg.). Proceedings of the Workshop on Systems for Computer-Aided Specification, Development and Verification. Workshop on Systems for Computer-Aided Specification, Development and Verification, July 4-5, Kiel, Germany, Techical Report, Vol. 9416, Universität Kiel, 1994.

  2. Dieter Hutter

    Synthesizing Induction Orderings for Existence Proofs

    In: M.C. Golumbic (Hrsg.). Proceedings of the Third International Symposium on Artificial Intelligence and Mathematics. International Symposium on Artificial Intelligence and Mathematics, 3rd, Fort Lauderdale, FL, USA, 1994.

  3. Dieter Hutter

    Synthesizing Induction Orderings for Existence Proofs

    In: Alan Bundy (Hrsg.). Proceedings of the 12th International Conference on Automated Deduction. International Conference on Automated Deduction (CADE-1994), 12th, June 26 - July 1, Nancy, France, Pages 29-41, Lecture Notes in Artificial Intelligence (LNAI), Vol. 814, Springer, 1994.

  4. R. Förster; P. Kejwal; P. Baur; P. Göhner; J. Cleve; R. Drexler; Dieter Hutter; Claus Sengler; Jörg Siekmann; Werner Stephan; A. Wolpers; W. Reif; E. Canver; F. W. von Henke

    Verification Support Enviroment (VSE)

    In: Tagungsband 3. Deutscher IT-Sicherheitskongress der BSI. Deutscher IT-Sicherheitskongress der BSI, 3. SecuMedia, Ingelheim, 1994.

  5. R. Förster et al.

    VSE-Benutzerhandbuch, Teil I - III

    Manual, Bundesamt für Sicherheit in der Informationstechnik, 1994.

Year