Maliuginas, A., & Petrauskas, K. (2024). Extracting TLA+ Specifications Out of a Program for a BEAM Virtual Machine. Vilnius University Open Series, 98. https://doi.org/10.15388/LMITT.2024.14
Παραπομπή σε μορφή Chicago (17η εκδ.)Maliuginas, Andrius, και Karolis Petrauskas. "Extracting TLA+ Specifications Out of a Program for a BEAM Virtual Machine." Vilnius University Open Series 2024: 98. https://doi.org/10.15388/LMITT.2024.14.
Παραπομπή σε μορφή MLA (9th εκδ.)Maliuginas, Andrius, και Karolis Petrauskas. "Extracting TLA+ Specifications Out of a Program for a BEAM Virtual Machine." Vilnius University Open Series, 2024, p. 98, https://doi.org/10.15388/LMITT.2024.14.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.