In: Kai von Luck; Heinz Marburger (Hrsg.). Management and Processing of Complex Data Structures. Proceedings of 3rd Workshop "Information Systems and …
In: J. Kunze; H. Stoyan (Hrsg.). Workshop Proceedings of the 18th German Annual Conference on Artificial Intelligence. German Conference on Artificial …
Hans-Jürgen Bürckert; Bernhard Hollunder; Armin Laux
In: B. Buth; R. Berghammer (Hrsg.). Proceedings of the Workshop on Systems for Computer-Aided Specification, Development and Verification. Workshop on …