APA (7th ed.) Citation

Botin an, M. (2005). AsmL Specification and Verification of Lamport s Bakery Algorithm. Journal of computing and information technology, 13(4), 313. https://doi.org/10.2498/cit.2005.04.09

Chicago Style (17th ed.) Citation

Botin an, Matko. "AsmL Specification and Verification of Lamport S Bakery Algorithm." Journal of Computing and Information Technology 13, no. 4 (2005): 313. https://doi.org/10.2498/cit.2005.04.09.

MLA (9th ed.) Citation

Botin an, Matko. "AsmL Specification and Verification of Lamport S Bakery Algorithm." Journal of Computing and Information Technology, vol. 13, no. 4, 2005, p. 313, https://doi.org/10.2498/cit.2005.04.09.