【7/12更新】2022年4月1日からのCiNii ArticlesのCiNii Researchへの統合について

Type-based deadlock-freedom verification for non-block-structured lock primitives and mutable references

関連論文

もっと見る

関連研究データ

もっと見る

関連図書・雑誌

もっと見る

関連博士論文

もっと見る

関連プロジェクト

もっと見る

関連その他成果物

もっと見る

詳細情報

  • CRID
    1371975841736467202
  • データソース種別
    • Crossref
ページトップへ