D
[Dam94] Dennis René Dams. CTL* and ECTL* as fragments of the modal μ-calculus. Theoretical Computer Science 126(1):77-96. Elsevier, avril 1994. 
@article{tcs126(1)-Dam,
  author =              {Dams, Dennis Ren{\'e}},
  title =               {{CTL{\textsuperscript{*}}} and
                         {ECTL{\textsuperscript{*}}} as fragments of the
                         modal {{\(\mu\)}}-calculus},
  publisher =           {Elsevier},
  journal =             {Theoretical Computer Science},
  volume =              {126},
  number =              {1},
  pages =               {77-96},
  year =                {1994},
  month =               apr,
}
Liste des auteurs