L
[LWW07] Carsten Lutz, Dirk Walther et Frank Wolter. Quantitative temporal logics over the reals: PSPACE and below. Information and Computation 205(1):99-123. Elsevier, janvier 2007. 
@article{lww-icomp2007,
  author =              {Lutz, Carsten and Walther, Dirk and Wolter, Frank},
  title =               {Quantitative temporal logics over the reals:
                         {PSPACE} and below},
  publisher =           {Elsevier},
  journal =             {Information and Computation},
  volume =              {205},
  number =              {1},
  pages =               {99-123},
  year =                {2007},
  month =               jan,
  doi =                 {10.1016/j.ic.2006.08.006},
}
Liste des auteurs