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

      Model checking and abstraction

      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
          Title: ACM Transactions on Programming Languages and Systems
          Abbreviated Title: ACM Trans. Program. Lang. Syst.
          Publisher: Association for Computing Machinery (ACM)
          ISSN (Print): 01640925
          Publication date (Print): September 1994
          Volume: 16
          Issue: 5
          Pages: 1512-1542
          Article
          DOI: 10.1145/186025.186051
          SO-VID: a66c7878-2ffb-4784-873d-040d0d35ae8e
          History

          Data availability:

          Comments

          Comment on this article

          scite_

          Similar content2,951

          See all similar

          Cited by102

          See all cited by