Hennicker, R., Knapp, A., & Madeira, A. (2021). Observational interpretations of hybrid dynamic logic with binders and silent transitions.
Citação do estilo Chicago (17ª ed.)Hennicker, Rolf, Alexander Knapp, e Alexandre Madeira. Observational Interpretations of Hybrid Dynamic Logic with Binders and Silent Transitions. 2021.
Citação MLA (8ª ed.)Hennicker, 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.