Aceto, L., Achilleos, A., Chalki, A., & Ingolfsdottir, A. (2025). Deciding characteristic formulae: A journey in the branching-time spectrum.
Style de citation Chicago (17e éd.)Aceto, Luca, Antonis Achilleos, Aggeliki Chalki, et Anna Ingolfsdottir. Deciding Characteristic Formulae: A Journey in the Branching-time Spectrum. 2025.
Style de citation MLA (9e éd.)Aceto, Luca, et al. Deciding Characteristic Formulae: A Journey in the Branching-time Spectrum. 2025.
Attention : ces citations peuvent ne pas être correctes à 100%.