P
[PW97] Doron A. Peled et Thomas Wilke. Stutter-Invariant Temporal Properties are Expressible Without the Next-time Operator. Information Processing Letters 63(5):243-246. Elsevier, 1997. 
@article{ipl63(5)-PW,
  author =              {Peled, Doron A. and Wilke, Thomas},
  title =               {Stutter-Invariant Temporal Properties are
                         Expressible Without the Next-time Operator},
  publisher =           {Elsevier},
  journal =             {Information Processing Letters},
  volume =              {63},
  number =              {5},
  pages =               {243-246},
  year =                {1997},
}
Liste des auteurs