11
views
0
recommends
+1 Recommend
0 collections
    0
    shares
      • Record: found
      • Abstract: not found
      • Conference Proceedings: not found

      PRISM 4.0: verification of probabilistic real-time systems

      Proc. 23rd International Conference on Computer Aided Verification (CAV 2011); volume 6806 of LNCS

      Read this article at

      ScienceOpen
      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

          Medicine, Anatomy & Physiology

          Comments

          Comment on this article