T
[TW96] Denis Thérien et Thomas Wilke. Temporal Logic and Semidirect Products: an Effective Characterization of the Until Hierarchy. In FOCS'96, pages 256-263. IEEE Comp. Soc. Press, octobre 1996. 
@inproceedings{focs1996-TW,
  author =              {Th{\'e}rien, Denis and Wilke, Thomas},
  title =               {Temporal Logic and Semidirect Products: an Effective
                         Characterization of the Until Hierarchy},
  booktitle =           {{P}roceedings of the 37th {A}nnual {S}ymposium on
                         {F}oundations of {C}omputer {S}cience ({FOCS}'96)},
  acronym =             {{FOCS}'96},
  publisher =           {IEEE Comp. Soc. Press},
  pages =               {256-263},
  year =                {1996},
  month =               oct,
}
Liste des auteurs