Hennicker, R., Knapp, A., & Madeira, A. (2021). Hybrid dynamic logic institutions for event/data-based systems.
Citação norma ChicagoHennicker, Rolf, Alexander Knapp, and Alexandre Madeira. Hybrid Dynamic Logic Institutions for Event/data-based Systems. 2021.
Citação norma MLAHennicker, Rolf, et al. Hybrid Dynamic Logic Institutions for Event/data-based Systems. 2021.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.