Gorlatch, S., Garanina, N., & Staroletov, S. (2025). USING THE SPIN MODEL CHECKER FOR AUTO-TUNING HIGH-PERFORMANCE PROGRAMS. Journal of Mathematical Sciences, 290(5), 641. https://doi.org/10.1007/s10958-025-07687-3
Παραπομπή σε μορφή Chicago (17η εκδ.)Gorlatch, Sergei, Natalia Garanina, και Sergey Staroletov. "USING THE SPIN MODEL CHECKER FOR AUTO-TUNING HIGH-PERFORMANCE PROGRAMS." Journal of Mathematical Sciences 290, no. 5 (2025): 641. https://doi.org/10.1007/s10958-025-07687-3.
Παραπομπή σε μορφή MLA (9th εκδ.)Gorlatch, Sergei, et al. "USING THE SPIN MODEL CHECKER FOR AUTO-TUNING HIGH-PERFORMANCE PROGRAMS." Journal of Mathematical Sciences, vol. 290, no. 5, 2025, p. 641, https://doi.org/10.1007/s10958-025-07687-3.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.