Hesselink, W. H. (2013). Mechanical verification of Lamport’s Bakery algorithm. Science of computer programming, 78(9), 1622-1638. https://doi.org/10.1016/j.scico.2013.03.003
Citácia podle Chicago (17th ed.)Hesselink, Wim H. "Mechanical Verification of Lamport’s Bakery Algorithm." Science of Computer Programming 78, no. 9 (2013): 1622-1638. https://doi.org/10.1016/j.scico.2013.03.003.
Citácia podľa MLA (8th ed.)Hesselink, Wim H. "Mechanical Verification of Lamport’s Bakery Algorithm." Science of Computer Programming, vol. 78, no. 9, 2013, pp. 1622-1638, https://doi.org/10.1016/j.scico.2013.03.003.
Upozornenie: Tieto citáce sú generované automaticky. Nemusia byť úplne správne podľa citačných pravidiel..