Publication
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.