APA (7th ed.) Citation

Enea, C., & Koskinen, E. (2023). Scenario-Based Proofs for Concurrent Objects [Extended Version].

Chicago Style (17th ed.) Citation

Enea, Constantin, and Eric Koskinen. Scenario-Based Proofs for Concurrent Objects [Extended Version]. 2023.

MLA (9th ed.) Citation

Enea, Constantin, and Eric Koskinen. Scenario-Based Proofs for Concurrent Objects [Extended Version]. 2023.

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