T
[TW02] Denis Thérien et Thomas Wilke. Nesting Until and Since in Linear Temporal Logic. In STACS'02, Lecture Notes in Computer Science 2285, pages 455-464. Springer-Verlag, mars 2002. 
@inproceedings{stacs2002-TW,
  author =              {Th{\'e}rien, Denis and Wilke, Thomas},
  title =               {Nesting Until and Since in Linear Temporal Logic},
  editor =              {Alt, Helmut and Ferreira, Afonso},
  booktitle =           {{P}roceedings of the 19th {S}ymposium on
                         {T}heoretical {A}spects of {C}omputer {S}cience
                         ({STACS}'02)},
  acronym =             {{STACS}'02},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {2285},
  pages =               {455-464},
  year =                {2002},
  month =               mar,
}
Liste des auteurs