Efficient Data Structure for Fully Symbolic Verification of Real-Time Software Systems

被引用文献1件

収録刊行物

  • LNCS

    LNCS 1785 157-171, 2000

被引用文献 (1)*注記

もっと見る

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

  • CRID
    1571417126695340544
  • NII論文ID
    80011625564
  • データソース種別
    • CiNii Articles

問題の指摘

ページトップへ