Publikationen

In: Françoise Bellegarde , Olga Kouchnarenko (Hrsg.). Workshop on Modelling and Verification, C.I.S.. Workshop on Modelling and Verification Besançon 1999.

Zur Publikation

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence