37
views
0
recommends
+1 Recommend
0 collections
    0
    shares
      • Record: found
      • Abstract: not found
      • Book Chapter: not found
      Theoretical and Practical Aspects of SPIN Model Checking 

      Distributed-Memory Model Checking with SPIN

      other
      ,
      Springer Berlin Heidelberg

      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 references2

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

          Formal methods: state of the art and future directions

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

            Mechanized formal methods: Progress and prospects

              Bookmark

              Author and book information

              Book Chapter
              1999
              August 27 1999
              : 22-39
              10.1007/3-540-48234-2_3
              0efab47e-b510-4ecb-a6c4-43af252ce2df
              History

              Comments

              Comment on this book

              Book chapters

              Similar content2,869

              Cited by7