[Back]


Talks and Poster Presentations (without Proceedings-Entry):

H. Veith:
"Model Checking of Fault-Tolerant Distributed Algorithms";
Talk: Summer School 2014: Verification Technology, Systems & Applications, Luxembourg (invited); 2014-10-27 - 2014-10-31.



Electronic version of the publication:
http://resources.mpi-inf.mpg.de/departments/rg1/conferences/vtsa14/slides/veith.zip


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