Runtime Verification of Timed LTL using Disjunctive Normalized Equation Systems

@article{Kristoffersen2003RuntimeVO,
  title={Runtime Verification of Timed LTL using Disjunctive Normalized Equation Systems},
  author={K{\aa}re J. Kristoffersen and Christian Pedersen and Henrik Reif Andersen},
  journal={Electr. Notes Theor. Comput. Sci.},
  year={2003},
  volume={89},
  pages={210-225}
}
Highly Cited
This paper has 56 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.
34 Citations
0 References
Similar Papers

Citations

Publications citing this paper.
Showing 1-10 of 34 extracted citations

57 Citations

0510'06'09'12'15'18
Citations per Year
Semantic Scholar estimates that this publication has 57 citations based on the available data.

See our FAQ for additional information.

Similar Papers

Loading similar papers…