Educational Technology Lab

Seite 5 von 5.

1. Peter Baur; Peter Kejwal; Wolfgang Reif; Werner Stephan; Dieter Hutter; Claus Sengler; Jürgen Cleve

   The Verification Support Environment VSE

   In: H. H. Frey (Hrsg.). Proceedings of the IFAC Symposium. IFAC Symposium on Safety of Computer Control Systems (SAFECOMP-92), October 28-30, Zürich, …

2. Werner Stephan; Susanne Biundo

   A New Logical Framework for Deductive Planning

   DFKI, DFKI Research Reports (RR), Vol. 92-53, 1992.

• vorherige
• 1
• …
• 3
• 4
• 5