Symbolic model checking without BDDs

著者

収録刊行物

  • Proc. 5th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'99)

    Proc. 5th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'99), 193-207, 1999

被引用文献:  1件中 1-1件 を表示

  • SATによるシステム検証

    番原 睦則 , 田村 直之

    人工知能学会誌 = Journal of Japanese Society for Artificial Intelligence 25(1), 122-129, 2010-01-01

    参考文献31件 被引用文献5件

各種コード

  • NII論文ID(NAID)
    10026031236
  • 資料種別
    会議資料
  • データ提供元
    CJP引用 
ページトップへ