Hausmann, D., Humml, M., Prucker, S., & Schröder, L. (2025). Efficient Model Checking for the Alternating-Time μ-Calculus via Effectivity Frames.
Citazione stile Chigago Style (17a edizione)Hausmann, Daniel, Merlin Humml, Simon Prucker, e Lutz Schröder. Efficient Model Checking for the Alternating-Time μ-Calculus via Effectivity Frames. 2025.
Citatione MLA (9a ed.)Hausmann, Daniel, et al. Efficient Model Checking for the Alternating-Time μ-Calculus via Effectivity Frames. 2025.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.