Reiner Inderst

• Automatische Testgenerierung Auf der Basis Einer Qualitativen Modellierung Physikalischer Systeme