Fri, 01 Jan 2021 00:00:00 +0100

QCTL model-checking with QBF solvers. Inf. Comput. 280: 104642 (2021)