A compositional approach to CTL* verification

Yonit Kesten, Amir Pnueli. A compositional approach to CTL* verification. Theoretical Computer Science, 331(2-3):397-428, 2005. [doi]

Abstract

Abstract is missing.