APA (7th ed.) Citation

van Glabbeek, R. (2019). Ensuring liveness properties of distributed systems: Open problems. Journal of logical and algebraic methods in programming, 109, 100480. https://doi.org/10.1016/j.jlamp.2019.100480

Chicago Style (17th ed.) Citation

van Glabbeek, Rob. "Ensuring Liveness Properties of Distributed Systems: Open Problems." Journal of Logical and Algebraic Methods in Programming 109 (2019): 100480. https://doi.org/10.1016/j.jlamp.2019.100480.

MLA (9th ed.) Citation

van Glabbeek, Rob. "Ensuring Liveness Properties of Distributed Systems: Open Problems." Journal of Logical and Algebraic Methods in Programming, vol. 109, 2019, p. 100480, https://doi.org/10.1016/j.jlamp.2019.100480.