Contributions to Books:
A. Gmeiner, I. Konnov, U. Schmid, H. Veith, J. Widder:
"Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms";
in: "Formal Methods for Executable Software Models",
Springer,
2014, (invited),
ISBN: 978-3-319-07316-3,
122
- 171.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-319-07317-0_4
Created from the Publication Database of the Vienna University of Technology.