Talks and Poster Presentations (without Proceedings-Entry):
A. John, I. Konnov, U. Schmid, H. Veith, J. Widder:
"Parameterized Model Checking of Fault-tolerant Distributed Algorithms";
Talk: Dagstuhl Seminar 12461: Games and Decisions for Rigorous Systems Engineering,
Dagstuhl, Deutschland (invited);
2012-11-11
- 2012-11-16.
Electronic version of the publication:
http://www.dagstuhl.de/mat/Files/12/12461/12461.WidderJosef.Abstract.txt
Created from the Publication Database of the Vienna University of Technology.