Publikation

Automated Reasoning for System Verification: A Tutorial Introduction into VSE-II

Dieter Hutter, Heiko Mantel, Klaus P. Jantke, Georg Rock, Werner Stephan

In: Proceedings Ilmenau International Scientific Colloquium, Special Track: Validation and Verification. Ilmenau International Scientific Colloquium 2000.

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