APA (7th ed.) Citation

Zeller, P., Bieniusa, A., & Poetzsch-Heffter, A. (2021). Combining state- and event-based semantics to verify highly available applications. Science of Computer Programming, 210, N.PAG. https://doi.org/10.1016/j.scico.2021.102687

Chicago Style (17th ed.) Citation

Zeller, Peter, Annette Bieniusa, and Arnd Poetzsch-Heffter. "Combining State- and Event-based Semantics to Verify Highly Available Applications." Science of Computer Programming 210 (2021): N.PAG. https://doi.org/10.1016/j.scico.2021.102687.

MLA (9th ed.) Citation

Zeller, Peter, et al. "Combining State- and Event-based Semantics to Verify Highly Available Applications." Science of Computer Programming, vol. 210, 2021, p. N.PAG, https://doi.org/10.1016/j.scico.2021.102687.