Griffioen, W. O. D., & Korver, H. P. (1995). The bakery protocol: A comparative case-study in formal verification.
Chicago-Zitierstil (17. Ausg.)Griffioen, W. O. D., und Henri P. Korver. The Bakery Protocol: A Comparative Case-study in Formal Verification. Amsterdam, 1995.
MLA-Zitierstil (9. Ausg.)Griffioen, W. O. D., und Henri P. Korver. The Bakery Protocol: A Comparative Case-study in Formal Verification. 1995.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.