Talks and Poster Presentations (with Proceedings-Entry):
A. John, I. Konnov, U. Schmid, H. Veith, J. Widder:
"Brief announcement: parameterized model checking of fault-tolerant distributed algorithms by abstraction";
Talk: ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC),
- 2013-07-24; in: "PODC",
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
Created from the Publication Database of the Vienna University of Technology.