A New Temporal Logic CTL[k-QDDC] and Its Verification.

Jiaqi Zhu, Hanpin Wang, Zhongyuan Xu

Browse the full COMPSAC paper archive.