32
views
0
recommends
+1 Recommend
0 collections
    0
    shares
      • Record: found
      • Abstract: not found
      • Book Chapter: not found
      Computer Aided Verification 

      FAST: Fast Acceleration of Symbolic Transition Systems

      other

      Read this book at

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

          Related collections

          Most cited references1

          • Record: found
          • Abstract: not found
          • Book Chapter: not found

          How to Compose Presburger-Accelerations: Applications to Broadcast Protocols

            Bookmark

            Author and book information

            Book Chapter
            2003
            : 118-121
            10.1007/978-3-540-45069-6_12
            69d84932-9d1e-4b91-b1ff-2a6d9e4bf628
            History

            Comments

            Comment on this book

            Book chapters

            Similar content2,411

            Cited by16