[Back]


Talks and Poster Presentations (without Proceedings-Entry):
H. Veith:
"Verfahren zur Komplexitätsreduktion im Model Checking";
Talk: Technische Universität München, München, Deutschland; 2002-11-27 - 2002-11-28.

Created from the Publication Database of the Vienna University of Technology.