Spengler, S., & Sil, S. (2023). TSO Games -- On the decidability of safety games under the total store order semantics (extended LMCS version with appendix).
Citazione stile Chigago Style (17a edizione)Spengler, Stephan, e Sanchari Sil. TSO Games -- On the Decidability of Safety Games Under the Total Store Order Semantics (extended LMCS Version with Appendix). 2023.
Citatione MLA (9a ed.)Spengler, Stephan, e Sanchari Sil. TSO Games -- On the Decidability of Safety Games Under the Total Store Order Semantics (extended LMCS Version with Appendix). 2023.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.