L
[Lan08] Martin Lange. A purely model-theoretic proof of the exponential succinctness gap between CTL+ and CTL. Information Processing Letters 108(5):308-312. Elsevier, novembre 2008. 
@article{ipl108(5)-Lan,
  author =              {Lange, Martin},
  title =               {A purely model-theoretic proof of the exponential
                         succinctness gap between {CTL\(^{+}\)} and {CTL}},
  publisher =           {Elsevier},
  journal =             {Information Processing Letters},
  volume =              {108},
  number =              {5},
  pages =               {308-312},
  year =                {2008},
  month =               nov,
}
Liste des auteurs