10
views
0
recommends
+1 Recommend
0 collections
    0
    shares
      • Record: found
      • Abstract: not found
      • Book Chapter: not found
      Security Protocols : 7th International Workshop, Cambridge, UK, April 19-21, 1999. Proceedings 

      Liveness by Invisible Invariants

      other

      Read this book at

      Publisher
      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 references21

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

          Temporal Verification of Reactive Systems

            Bookmark
            • Record: found
            • Abstract: not found
            • Article: not found

            Limits for automatic verification of finite-state concurrent systems

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

              Reasoning about rings

                Bookmark

                Author and book information

                Book Chapter
                2006
                : 356-371
                10.1007/11888116_26
                bc307a53-7e33-4c6c-89c6-428d2d64c2d4
                History

                Comments

                Comment on this book

                Book chapters

                Similar content2,164

                Cited by1