Talks and Poster Presentations (without Proceedings-Entry):
H. Veith:
"Verfahren zur Komplexitätsreduktion im Model Checking";
Talk: Technische Universität Graz,
Graz, Österreich;
2002-05-06.
Created from the Publication Database of the Vienna University of Technology.