T
[TR04] Prasanna Thati et Grigore Roşu. Monitoring Algorithms for Metric Temporal Logic Specifications. In RV'04, Electronic Notes in Theoretical Computer Science 113, pages 131-147. Elsevier, avril 2004. 
@inproceedings{rv2004-TR,
  author =              {Thati, Prasanna and Ro{\c{s}}u, Grigore},
  title =               {Monitoring Algorithms for Metric Temporal Logic
                         Specifications},
  editor =              {Havelund, Klaus and Ro{\c{s}}u, Grigore},
  booktitle =           {{P}roceedings of the 4th {I}nternational {W}orkshop
                         on {R}untime {V}erification ({RV}'04)},
  acronym =             {{RV}'04},
  publisher =           {Elsevier},
  series =              {Electronic Notes in Theoretical Computer Science},
  volume =              {113},
  pages =               {131-147},
  year =                {2004},
  month =               apr,
  doi =                 {10.1016/j.entcs.2004.12.01},
}
Liste des auteurs