Quantified CTL: Expressiveness and Complexity

October 16, 2017 in by

by François Laroussinie, Nicolas Markey
Reference:
François Laroussinie, Nicolas Markey. Quantified CTL: Expressiveness and Complexity. In Logical Methods in Computer Science 10(4:17). December 2014.
Bibtex Entry:
@string{dec="December"}
@article{LM-lmcs14,
  author =        {Laroussinie, Fran{c c}ois and Markey, Nicolas},
  journal =       {Logical Methods in Computer Science},
  month =         dec,
  number =        {4:17},
  title =         {Quantified~{CTL}: Expressiveness and Complexity},
  volume =        {10},
  year =          {2014},
  doi =           {10.2168/LMCS-10(4:17)2014},
  url =           {http://www.cassting-project.eu/wp-content/uploads/
                  LM-lmcs14.pdf},
  category =      {jour},
  wps =           {wp1},
  partners =      {CNRS},
  casstingpart =  {25},
}