G
[Gor00] Valentin Goranko. Temporal Logics of Computations. In ESSLLI'00. Août 2000. 
@inproceedings{esslli2000-Gor,
  author =              {Goranko, Valentin},
  title =               {Temporal Logics of Computations},
  booktitle =           {{P}roceedings of the 12th {E}uropean {S}ummer
                         {S}chool in {L}ogic, {L}anguage and {I}nformation
                         ({ESSLLI}'00)},
  acronym =             {{ESSLLI}'00},
  year =                {2000},
  month =               aug,
}
Liste des auteurs