Mancini, L. V., & Pappalardo, G. (1988). Proving correctness properties of a replicated synchronous program.
Chicago-Zitierstil (17. Ausg.)Mancini, Luigi V., und Giuseppe Pappalardo. Proving Correctness Properties of a Replicated Synchronous Program. Newcastle upon Tyne, 1988.
MLA-Zitierstil (9. Ausg.)Mancini, Luigi V., und Giuseppe Pappalardo. Proving Correctness Properties of a Replicated Synchronous Program. 1988.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.