APA (7th ed.) Citation

Fesefeldt, I., Katoen, J., & Noll, T. (2022). Towards Concurrent Quantitative Separation Logic.

Chicago Style (17th ed.) Citation

Fesefeldt, Ira, Joost-Pieter Katoen, and Thomas Noll. Towards Concurrent Quantitative Separation Logic. 2022.

MLA (9th ed.) Citation

Fesefeldt, Ira, et al. Towards Concurrent Quantitative Separation Logic. 2022.