Hennicker, R., Knapp, A., & Madeira, A. (2021). Observational interpretations of hybrid dynamic logic with binders and silent transitions.
Citação norma ChicagoHennicker, Rolf, Alexander Knapp, and Alexandre Madeira. Observational Interpretations of Hybrid Dynamic Logic with Binders and Silent Transitions. 2021.
Citação norma MLAHennicker, Rolf, et al. Observational Interpretations of Hybrid Dynamic Logic with Binders and Silent Transitions. 2021.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.