Computational Challenges in Bounded Model Checking

Author(s)

Journal

  • Software Tools for Technology Transfer

    Software Tools for Technology Transfer 7(2), 174-183, 2005

Cited by:  1

Codes

  • NII Article ID (NAID)
    10026562864
  • Article Type
    Journal Article
  • Data Source
    CJPref 
Page Top