グラフ探索アルゴリズムの形式的検証とモデル検査への応用について (プログラム変換と記号・数式処理)

HANDLE オープンアクセス

書誌事項

タイトル別名
  • On Formal Verification of Graph Search Algorithms and Its Application to Model Checking (Program Transformation, Symbolic Computation and Algebraic Manipulation)

この論文をさがす

収録刊行物

詳細情報 詳細情報について

  • CRID
    1050564285516495232
  • NII論文ID
    110000164001
  • NII書誌ID
    AN00061013
  • ISSN
    18802818
  • HANDLE
    2433/63576
  • 本文言語コード
    ja
  • 資料種別
    departmental bulletin paper
  • データソース種別
    • IRDB
    • CiNii Articles

問題の指摘

ページトップへ