V
[Var98] Moshe Y. Vardi. Linear versus Branching Time: a Complexity-Theoretic Approach. In LICS'98, pages 394-405. IEEE Comp. Soc. Press, juin 1998. 
@inproceedings{lics1998-Var,
  author =              {Vardi, Moshe Y.},
  title =               {Linear versus Branching Time: a Complexity-Theoretic
                         Approach},
  booktitle =           {{P}roceedings of the 13th {A}nnual {S}ymposium on
                         {L}ogic in {C}omputer {S}cience ({LICS}'98)},
  acronym =             {{LICS}'98},
  publisher =           {IEEE Comp. Soc. Press},
  pages =               {394-405},
  year =                {1998},
  month =               jun,
}
Liste des auteurs