K
[KP05] Yonit Kesten and Amir Pnueli. A Compositional Approach to CTL* Verification. Theoretical Computer Science 331(2-3):397-428. Elsevier, February 2005. 
@article{tcs331(2-3)-KP,
  author =              {Kesten, Yonit and Pnueli, Amir},
  title =               {A Compositional Approach to {CTL}{\(^*\)}
                         Verification},
  publisher =           {Elsevier},
  journal =             {Theoretical Computer Science},
  volume =              {331},
  number =              {2-3},
  pages =               {397-428},
  year =                {2005},
  month =               feb,
}
List of authors