K
[KV98] Orna Kupferman et Moshe Y. Vardi. Freedom, Weakness, and Determinism: From Linear-Time to Branching-Time. In LICS'98, pages 81-92. IEEE Comp. Soc. Press, juin 1998. 
@inproceedings{lics1998-KV,
  author =              {Kupferman, Orna and Vardi, Moshe Y.},
  title =               {Freedom, Weakness, and Determinism: From Linear-Time
                         to Branching-Time},
  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 =               {81-92},
  year =                {1998},
  month =               jun,
}
Liste des auteurs