[Back]


Talks and Poster Presentations (without Proceedings-Entry):
A. John, I. Konnov, U. Schmid, H. Veith, J. Widder:
"Who is afraid of Model Checking Distributed Algorithms?";
Talk: PUMA/RISE Seminar, Goldegg; 2012-09-24 - 2012-09-28.

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