2. German-Argentinian Workshop on Information Technology 1999: Königswinter, Germany

Technologies for the Design and Implementation of Application Systems

Automated Reasoning and Formal Software Development

Algorithms for Planning, Optimization and Scheduling of Application Systems

Applied Research for Further Application of Computer Science Technology

a service of Schloss Dagstuhl - Leibniz Center for Informatics