For Publishers
DiscoveryMetadataPeer reviewHostingPublishing
For Researchers
JoinPublishReviewCollect
Register
Blog
About
Search
Advanced search
My ScienceOpen
Search
For Publishers
For Researchers
Blog
About
36
views
29
references
 Top references
cited by
21
    
0 reviews
 Review
0
comments
 Comment
0
recommends
+1 Recommend
0 collections
    0
    shares
      4,036
      similar
       All similar
      • Record: found
      • Abstract: not found
      • Article: not found

      Rewriting-Based Techniques for Runtime Verification

      Author(s): ,
      Publication date Created:
      Publication date (Print):
      Journal: Automated Software Engineering
      Publisher: Springer Nature

      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.

          Related collections

          Most cited references29

          • Record: found
          • Abstract: not found
          • Conference Proceedings: not found

          The temporal logic of programs

          Amir Pnueli (1977)
          Article 0 comments Cited 393 times – based on 0 reviews
            Bookmark
            • Record: found
            • Abstract: not found
            • Book: not found

            The Temporal Logic of Reactive and Concurrent Systems

            Zohar Manna, Amir Pnueli (1992)
            Book 0 comments Cited 158 times – based on 0 reviews
              Bookmark
              • Record: found
              • Abstract: not found
              • Article: not found

              The complexity of propositional linear temporal logics

              A. Sistla, E. Clarke (1985)
              Article 0 comments Cited 126 times – based on 0 reviews     Review now
                Bookmark
                All references

                Author and article information

                Journal
                Title: Automated Software Engineering
                Abbreviated Title: Autom Software Eng
                Publisher: Springer Nature
                ISSN (Print): 0928-8910
                ISSN (Electronic): 1573-7535
                Publication date Created: April 2005
                Publication date (Print): April 2005
                Volume: 12
                Issue: 2
                Pages: 151-197
                Article
                DOI: 10.1007/s10515-005-6205-y
                SO-VID: 142c9791-6720-486f-b161-c2f93279d00a
                Copyright © © 2005
                History

                Data availability:

                Comments

                Comment on this article

                scite_

                Similar content4,036

                See all similar

                Cited by21

                See all cited by

                Most referenced authors164

                See all reference authors