Proceedings-Artikel
The Verification Support Environment VSE
Peter Baur; Peter Kejwal; Wolfgang Reif; Werner Stephan; Dieter Hutter; Claus Sengler; Jürgen Cleve
In: H. H. Frey (Hrsg.). Proceedings of the IFAC Symposium. Safety of Computer Control Systems (SAFECOMP-92), October 28-30, Zürich, Switzerland, Pages 69-74, IFAC Symposia Series, Pergamon Press, 1992.