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

      Vacuity detection in temporal model checking

      ,
      International Journal on Software Tools for Technology Transfer (STTT)
      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
          10009
          International Journal on Software Tools for Technology Transfer (STTT)
          International Journal on Software Tools for Technology Transfer (STTT)
          Springer Nature
          1433-2779
          1433-2787
          February 1 2003
          February 1 2003
          : 4
          : 2
          : 224-233
          Article
          10.1007/s100090100062
          bae6f244-d9ad-4fa8-a456-0e889eb86a20
          © 2003
          History

          Comments

          Comment on this article