W
[Wil99] Thomas Wilke. Classifying Discrete Temporal Properties. In STACS'99, Lecture Notes in Computer Science 1563, pages 32-46. Springer-Verlag, mars 1999.
@inproceedings{stacs1999-Wil,
  author =              {Wilke, Thomas},
  title =               {Classifying Discrete Temporal Properties},
  editor =              {Meinel, {\relax Ch}ristoph and Tison, Sophie},
  booktitle =           {{P}roceedings of the 16th {S}ymposium on
                         {T}heoretical {A}spects of {C}omputer {S}cience
                         ({STACS}'99)},
  acronym =             {{STACS}'99},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {1563},
  pages =               {32-46},
  year =                {1999},
  month =               mar,
}
Liste des auteurs