APA (7th ed.) Citation

Broy, M. (2023). Specification and verification of concurrent systems by causality and realizability. Theoretical Computer Science, 974, N.PAG. https://doi.org/10.1016/j.tcs.2023.114106

Chicago Style (17th ed.) Citation

Broy, Manfred. "Specification and Verification of Concurrent Systems by Causality and Realizability." Theoretical Computer Science 974 (2023): N.PAG. https://doi.org/10.1016/j.tcs.2023.114106.

MLA (9th ed.) Citation

Broy, Manfred. "Specification and Verification of Concurrent Systems by Causality and Realizability." Theoretical Computer Science, vol. 974, 2023, p. N.PAG, https://doi.org/10.1016/j.tcs.2023.114106.