Due to maintenance work, it is currently not possible to search for publications by author.
R. Förster et al.
Manual, Bundesamt für Sicherheit in der Informationstechnik, 1994.
Dieter Hutter; Bruno Langenstein; Claus Sengler; Werner Stephan
In: B. Buth; R. Berghammer (Hrsg.). Proceedings of the Workshop on Systems for Computer-Aided Specification, Development and Verification. Workshop on …
Wray Buntine; Hans-Jürgen Bürckert
In: Journal of the ACM (JACM), Vol. 41, No. 4, Pages 591-629, ACM, 1994.
Hans-Jürgen Bürckert
In: Artificial Intelligence (AIJ), Vol. 66, Pages 235-271, Elsevier, 1994.
Dieter Hutter; Jürgen Cleve
In: Jay F. Nunamaker jr.; Ralph H. Sprague jr. (Hrsg.). Proceedings Hawaii International Conference on System Sciences: Information Systems: …