Publications

Page 5 of 5.

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, …
Werner Stephan; Susanne Biundo
A New Logical Framework for Deductive Planning
DFKI, DFKI Research Reports (RR), Vol. 92-53, 1992.