Ahvonen, V., Jaakkola, R., & Kuusisto, A. (2025). Formula size game and model checking for modal substitution calculus.
Style de citation Chicago (17e éd.)Ahvonen, Veeti, Reijo Jaakkola, et Antti Kuusisto. Formula Size Game and Model Checking for Modal Substitution Calculus. 2025.
Style de citation MLA (9e éd.)Ahvonen, Veeti, et al. Formula Size Game and Model Checking for Modal Substitution Calculus. 2025.
Attention : ces citations peuvent ne pas être correctes à 100%.