Behrens, D., Serafini, M., Arnautov, S., Junqueira, F. und Fetzer, C. (2016) Scalable error isolation for distributed systems: modeling, correctness proofs, and additional experiments [cd], Technische Berichte / Technische Universität Dresden, Fakultät Informatik. Dresden [u.a.]: Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden[u.a.]. doi:urn:nbn:de:bsz:14-qucosa-203622.

Behrens, Diogo, Marco Serafini, Sergei Arnautov, Flavio Junqueira, und Christof Fetzer. Scalable error isolation for distributed systems: modeling, correctness proofs, and additional experiments. Cd. Technische Berichte / Technische Universität Dresden, Fakultät Informatik. Dresden [u.a.]: Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden[u.a.], [2016?], Dresden [u.a.]: Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden[u.a.], [2016?]. https://doi.org/urn:nbn:de:bsz:14-qucosa-203622.

Behrens, D., Serafini, M., Arnautov, S., Junqueira, F., & Fetzer, C. (ca. 2016). Scalable error isolation for distributed systems: modeling, correctness proofs, and additional experiments [Cd]. In Technische Berichte / Technische Universität Dresden, Fakultät Informatik. Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden[u.a.]. https://doi.org/urn:nbn:de:bsz:14-qucosa-203622

Behrens, D., M. Serafini, S. Arnautov, F. Junqueira, und C. Fetzer. „Scalable error isolation for distributed systems: modeling, correctness proofs, and additional experiments“. Technische Berichte / Technische Universität Dresden, Fakultät Informatik, cd, Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden[u.a.], 2016, https://doi.org/urn:nbn:de:bsz:14-qucosa-203622.

BEHRENS, Diogo, Marco SERAFINI, Sergei ARNAUTOV, Flavio JUNQUEIRA und Christof FETZER, 2016. Scalable error isolation for distributed systems: modeling, correctness proofs, and additional experiments. Dresden [u.a.]: Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden[u.a.]