[Updated on Apr. 18] Integration of CiNii Articles into CiNii Research

証明支援系Coqを用いた有界モデル検査

Bibliographic Information

Other Title
  • ショウメイ シエンケイ Coq オ モチイタ ユウカイ モデル ケンサ

Search this article

Journal

Citations (0)*help

See more

References(0)*help

See more

Related Articles

See more

Related Data

See more

Related Books

See more

Related Dissertations

See more

Related Projects

See more

Related Products

See more

Details

  • CRID
    1520009410057826688
  • NII Article ID
    40021461930
  • NII Book ID
    AN10158574
  • ISSN
    09135391
  • NDL BIB ID
    028820750
  • Web Site
    http://id.ndl.go.jp/bib/028820750
  • Text Lang
    ja
  • NDL Source Classification
    • ZM13(科学技術--科学技術一般--データ処理・計算機)
  • Data Source
    • NDL
    • CiNii Articles

Report a problem

Back to top