T
[TD09] Cong Tian et Zhenhua Duan. A Note on Stutter-Invariant PLTL. Information Processing Letters 109(13):663-667. Elsevier, juin 2009. 
@article{ipl109(13)-TD,
  author =              {Tian, Cong and Duan, Zhenhua},
  title =               {A~Note on Stutter-Invariant {PLTL}},
  publisher =           {Elsevier},
  journal =             {Information Processing Letters},
  volume =              {109},
  number =              {13},
  pages =               {663-667},
  year =                {2009},
  month =               jun,
}
Liste des auteurs