APA (7th ed.) Citation

Spengler, S. (2024). Reachability and Safety Games under TSO Semantics (Extended Version).

Chicago Style (17th ed.) Citation

Spengler, Stephan. Reachability and Safety Games Under TSO Semantics (Extended Version). 2024.

MLA (9th ed.) Citation

Spengler, Stephan. Reachability and Safety Games Under TSO Semantics (Extended Version). 2024.

Warning: These citations may not always be 100% accurate.