Andrianov, P. S., Zelenov, S. V., Mutilin, V. S., & Petrenko, A. K. (2025). Software Model Checking for Memory Consistency Verification. Programming and computer software, 51(5), 305-313. https://doi.org/10.1134/S0361768825700185
Citace podle Chicago (17th ed.)Andrianov, P. S., S. V. Zelenov, V. S. Mutilin, a A. K. Petrenko. "Software Model Checking for Memory Consistency Verification." Programming and Computer Software 51, no. 5 (2025): 305-313. https://doi.org/10.1134/S0361768825700185.
Citace podle MLA (9th ed.)Andrianov, P. S., et al. "Software Model Checking for Memory Consistency Verification." Programming and Computer Software, vol. 51, no. 5, 2025, pp. 305-313, https://doi.org/10.1134/S0361768825700185.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..