[Back]


Talks and Poster Presentations (without Proceedings-Entry):

H. Veith:
"History of Model Checking";
Keynote Lecture: Clarke Symposium 2014: Celebrating 25 Years of Model Checking, Pittsburgh, PA, USA (invited); 2014-09-19 - 2014-09-20.


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