【12/14(木)17時より】CiNiiの常時SSL化(HTTPS接続)について

Abstraction and search in verification by state exploration 状態探査による検証における抽象化と探索

この論文をさがす

著者

    • 高橋, 孝一 タカハシ, コウイチ

書誌事項

タイトル

Abstraction and search in verification by state exploration

タイトル別名

状態探査による検証における抽象化と探索

著者名

高橋, 孝一

著者別名

タカハシ, コウイチ

学位授与大学

東京大学

取得学位

博士 (理学)

学位授与番号

乙第15268号

学位授与年月日

2002-02-18

注記・抄録

博士論文

各種コード

  • NII論文ID(NAID)
    500000230433
  • NII著者ID(NRID)
    • 8000000230930
  • 本文言語コード
    • eng
  • NDL書誌ID
    • 000004106887
  • データ提供元
    • NDL-OPAC
ページトップへ