Publikation

Verification Support Environment (VSE)

Dieter Hutter, Bruno Langenstein, Claus Sengler, Jörg Siekmann, Werner Stephan, Andreas Wolpers

In: Journal of High Integrity Systems 1 6 Seiten 523-530 Oxford University Press 1996.

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