APA (7th ed.) Citation

Hennicker, R., Knapp, A., & Madeira, A. (2021). Hybrid dynamic logic institutions for event/data-based systems.

Chicago Style (17th ed.) Citation

Hennicker, Rolf, Alexander Knapp, and Alexandre Madeira. Hybrid Dynamic Logic Institutions for Event/data-based Systems. 2021.

MLA (8th ed.) Citation

Hennicker, Rolf, et al. Hybrid Dynamic Logic Institutions for Event/data-based Systems. 2021.