Modellbasierte Deduktion
Laufzeit: bis 31.12.1999
Partner: Univ. Saarbrücken (Prof. J. Siekmann); Humboldt-Univ. Berlin (Prof. H. Wolter); Univ. of Grenoble (Prof. R. Caferra); Techn. Univ. Wien (Prof. A. Leitsch); Univ. of Göteborg (Prof. T. Tammet)
Förderung durch: Haushaltskapitel 1512 - Neue Technologien und Umwelt