[Back]


Talks and Poster Presentations (without Proceedings-Entry):

H. Veith:
"Model Checking - Recent Results and Developments";
Talk: University of Leeds, Leeds, United Kingdom; 2002-03-09 - 2002-03-13.


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