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

      Reducing concurrent analysis under a context bound to sequential analysis

      ,
      Formal Methods in System Design
      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

          Author and article information

          Journal
          Formal Methods in System Design
          Form Methods Syst Des
          Springer Nature
          0925-9856
          1572-8102
          August 2009
          July 2009
          : 35
          : 1
          : 73-97
          Article
          10.1007/s10703-009-0078-9
          71c3eb1c-abbd-41c4-b80b-14aceb37f2e8
          © 2009
          History

          Comments

          Comment on this article