12
views
0
recommends
+1 Recommend
0 collections
    0
    shares
      • Record: found
      • Abstract: not found
      • Article: not found

      Comparing LTL Semantics for Runtime Verification

      , ,
      Journal of Logic and Computation
      Oxford University Press (OUP)

      Read this article at

      ScienceOpenPublisher
      Bookmark
          There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

          Abstract

          Related collections

          Author and article information

          Journal
          Journal of Logic and Computation
          Journal of Logic and Computation
          Oxford University Press (OUP)
          0955-792X
          1465-363X
          May 21 2010
          February 26 2009
          : 20
          : 3
          : 651-674
          Article
          10.1093/logcom/exn075
          d5724267-2ee1-4f4c-a07d-617cd2eb360e
          © 2010
          History

          Comments

          Comment on this article