\(\mathsf{QCTL}\) model-checking with \(\mathsf{QBF}\) solvers
scientific article; zbMATH DE number 7398018
scientific article