Proceedings-Artikel
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. 2000.