HAWBLITZEL, Chris, HOWELL, Jon, KAPRITSOS, Manos, LORCH, Jacob R., PARNO, Bryan, ROBERTS, Michael L., SETTY, Srinath und ZILL, Brian, 2017. Iron Fleet: Proving Safety and Liveness of Practical Distributed Systems. Communications of the ACM. 1 Juli 2017. Vol. 60, no. 7, p. 83-92. DOI 10.1145/3068608.
Elsevier - Harvard (with titles)Hawblitzel, C., Howell, J., Kapritsos, M., Lorch, J.R., Parno, B., Roberts, M.L., Setty, S., Zill, B., 2017. Iron Fleet: Proving Safety and Liveness of Practical Distributed Systems. Communications of the ACM 60, 83-92. https://doi.org/10.1145/3068608
American Psychological Association 7th editionHawblitzel, C., Howell, J., Kapritsos, M., Lorch, J. R., Parno, B., Roberts, M. L., Setty, S., & Zill, B. (2017). Iron Fleet: Proving Safety and Liveness of Practical Distributed Systems. Communications of the ACM, 60(7), 83-92. https://doi.org/10.1145/3068608
Springer - Basic (author-date)Hawblitzel C, Howell J, Kapritsos M, Lorch JR, Parno B, Roberts ML, Setty S, Zill B (2017) Iron Fleet: Proving Safety and Liveness of Practical Distributed Systems.. Communications of the ACM 60:83-92. https://doi.org/10.1145/3068608
Juristische Zitierweise (Stüber) (Deutsch)Hawblitzel, Chris/ Howell, Jon/ Kapritsos, Manos/ Lorch, Jacob R./ Parno, Bryan/ Roberts, Michael L./ Setty, Srinath/ Zill, Brian, Iron Fleet: Proving Safety and Liveness of Practical Distributed Systems., Communications of the ACM 2017, 83-92.