APA (7th ed.) Citation

Amjad, R., van Glabbeek, R., & O'Connor, L. (2024). Semantics for Linear-time Temporal Logic with Finite Observations.

Chicago Style (17th ed.) Citation

Amjad, Rayhana, Rob van Glabbeek, and Liam O'Connor. Semantics for Linear-time Temporal Logic with Finite Observations. 2024.

MLA (9th ed.) Citation

Amjad, Rayhana, et al. Semantics for Linear-time Temporal Logic with Finite Observations. 2024.